diff --git a/Project2.fst b/Project2.fst
index c79797a..28bd3fa 100644
--- a/Project2.fst
+++ b/Project2.fst
@@ -260,3 +260,4 @@ let rec exception_prop te ps =
   match ps with
     | [] -> ()
     | _ :: ps' -> exception_prop te ps'
+