why3: newline

assets/why3/assignment05/binary_search.mlw

@@ -20,4 +20,4 @@ module BinarySearch
     (* IMPORTANT: DON'T MODIFY THE ABOVE LINES *)
     0 (* TODO *)
     
-end
+end

assets/why3/assignment05/max.mlw

@@ -26,4 +26,4 @@ module Max
     done;
     max
 
-end
+end

assets/why3/assignment05/pascal.mlw

@@ -38,4 +38,4 @@ module Pascal
     done;
     row
     
-end
+end

assets/why3/exercises/ex1_eucl_div.mlw

@@ -26,4 +26,4 @@ module Division
     done;
     q
 
-end
+end

assets/why3/exercises/ex2_fact.mlw

@@ -46,4 +46,4 @@ module FactLoop
     done;
     r
 
-end
+end

assets/why3/exercises/ex3_two_way.mlw

@@ -48,4 +48,4 @@ module TwoWaySort
       end
     done
 
-end
+end

assets/why3/exercises/solutions/ex1_eucl_div_sol.mlw

@@ -27,4 +27,4 @@ module Division
     done;
     q
 
-end
+end

assets/why3/exercises/solutions/ex2_fact_sol.mlw

@@ -34,4 +34,4 @@ module FactLoop
     done;
     r
 
-end
+end

assets/why3/exercises/solutions/ex3_two_way_sol.mlw

@@ -46,4 +46,4 @@ module TwoWaySort
       end
     done
 
-end
+end