From f64b0461535089de0f5c64799409e31b8e5a4dd4 Mon Sep 17 00:00:00 2001
From: AnHaechan <mike000529@gmail.com>
Date: Fri, 25 Aug 2023 04:39:12 +0000
Subject: [PATCH] why3: newline

---
 assets/why3/assignment05/binary_search.mlw           | 2 +-
 assets/why3/assignment05/max.mlw                     | 2 +-
 assets/why3/assignment05/pascal.mlw                  | 2 +-
 assets/why3/exercises/ex1_eucl_div.mlw               | 2 +-
 assets/why3/exercises/ex2_fact.mlw                   | 2 +-
 assets/why3/exercises/ex3_two_way.mlw                | 2 +-
 assets/why3/exercises/solutions/ex1_eucl_div_sol.mlw | 2 +-
 assets/why3/exercises/solutions/ex2_fact_sol.mlw     | 2 +-
 assets/why3/exercises/solutions/ex3_two_way_sol.mlw  | 2 +-
 9 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/assets/why3/assignment05/binary_search.mlw b/assets/why3/assignment05/binary_search.mlw
index 17cd0c9..92fb42d 100644
--- a/assets/why3/assignment05/binary_search.mlw
+++ b/assets/why3/assignment05/binary_search.mlw
@@ -20,4 +20,4 @@ module BinarySearch
     (* IMPORTANT: DON'T MODIFY THE ABOVE LINES *)
     0 (* TODO *)
     
-end
\ No newline at end of file
+end
diff --git a/assets/why3/assignment05/max.mlw b/assets/why3/assignment05/max.mlw
index 49c168e..b0b858b 100644
--- a/assets/why3/assignment05/max.mlw
+++ b/assets/why3/assignment05/max.mlw
@@ -26,4 +26,4 @@ module Max
     done;
     max
 
-end
\ No newline at end of file
+end
diff --git a/assets/why3/assignment05/pascal.mlw b/assets/why3/assignment05/pascal.mlw
index c3cd28f..bf1f02a 100644
--- a/assets/why3/assignment05/pascal.mlw
+++ b/assets/why3/assignment05/pascal.mlw
@@ -38,4 +38,4 @@ module Pascal
     done;
     row
     
-end
\ No newline at end of file
+end
diff --git a/assets/why3/exercises/ex1_eucl_div.mlw b/assets/why3/exercises/ex1_eucl_div.mlw
index 24fa3af..c4aaf20 100644
--- a/assets/why3/exercises/ex1_eucl_div.mlw
+++ b/assets/why3/exercises/ex1_eucl_div.mlw
@@ -26,4 +26,4 @@ module Division
     done;
     q
 
-end
\ No newline at end of file
+end
diff --git a/assets/why3/exercises/ex2_fact.mlw b/assets/why3/exercises/ex2_fact.mlw
index bef4c59..adad25e 100644
--- a/assets/why3/exercises/ex2_fact.mlw
+++ b/assets/why3/exercises/ex2_fact.mlw
@@ -46,4 +46,4 @@ module FactLoop
     done;
     r
 
-end
\ No newline at end of file
+end
diff --git a/assets/why3/exercises/ex3_two_way.mlw b/assets/why3/exercises/ex3_two_way.mlw
index 836722e..24705bd 100644
--- a/assets/why3/exercises/ex3_two_way.mlw
+++ b/assets/why3/exercises/ex3_two_way.mlw
@@ -48,4 +48,4 @@ module TwoWaySort
       end
     done
 
-end
\ No newline at end of file
+end
diff --git a/assets/why3/exercises/solutions/ex1_eucl_div_sol.mlw b/assets/why3/exercises/solutions/ex1_eucl_div_sol.mlw
index f8580e7..7a28ad7 100644
--- a/assets/why3/exercises/solutions/ex1_eucl_div_sol.mlw
+++ b/assets/why3/exercises/solutions/ex1_eucl_div_sol.mlw
@@ -27,4 +27,4 @@ module Division
     done;
     q
 
-end
\ No newline at end of file
+end
diff --git a/assets/why3/exercises/solutions/ex2_fact_sol.mlw b/assets/why3/exercises/solutions/ex2_fact_sol.mlw
index cfd514b..d5d6322 100644
--- a/assets/why3/exercises/solutions/ex2_fact_sol.mlw
+++ b/assets/why3/exercises/solutions/ex2_fact_sol.mlw
@@ -34,4 +34,4 @@ module FactLoop
     done;
     r
 
-end
\ No newline at end of file
+end
diff --git a/assets/why3/exercises/solutions/ex3_two_way_sol.mlw b/assets/why3/exercises/solutions/ex3_two_way_sol.mlw
index 72a6bb7..3286ab5 100644
--- a/assets/why3/exercises/solutions/ex3_two_way_sol.mlw
+++ b/assets/why3/exercises/solutions/ex3_two_way_sol.mlw
@@ -46,4 +46,4 @@ module TwoWaySort
       end
     done
 
-end
\ No newline at end of file
+end