Mysaa/pieuvre
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Text

Browse Source
This commit is contained in:
Adrien Vannson
2022-05-10 13:42:17 +02:00
parent 98d525c58a
commit 07e7a6b4eb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
main.ml
+1 -1
View File
@@ -148,7 +148,7 @@ let finalLam = !fill_holes [] in
if (typecheck [] finalLam ty) then if (typecheck [] finalLam ty) then
Printf.printf "Final proof :\n%s\n" (string_of_lam finalLam) Printf.printf "Final proof :\n%s\n" (string_of_lam finalLam)
else ( else (
Printf.printf "Invalid proof constructed !\n"; Printf.printf "Invalid proof constructed!\n";
Printf.printf "%s can't be typed with %s.\n" (string_of_lam finalLam) (string_of_ty ty); Printf.printf "%s can't be typed with %s.\n" (string_of_lam finalLam) (string_of_ty ty);
Printf.printf "The whole development team of pieuvre is sorry for the damage eventually done by this error.\n" Printf.printf "The whole development team of pieuvre is sorry for the damage eventually done by this error.\n"
) )