From 29d7e67a00293525f4b43761aec36a1ebb139de6 Mon Sep 17 00:00:00 2001 From: Adrien Vannson Date: Tue, 10 May 2022 11:23:09 +0200 Subject: [PATCH] Indentation --- main.ml | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/main.ml b/main.ml index d96472a..89f4fb1 100644 --- a/main.ml +++ b/main.ml @@ -135,16 +135,11 @@ while !subgoals <> [] do done; 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) - else - ( + else ( 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 "The whole development team of pieuvre is sorry for the damage eventually done by this error.\n" ) ;; - - -