kmc7468/cs220
1
0
Fork 0
mirror of https://github.com/kmc7468/cs220.git synced 2025-12-15 22:48:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

why3: removed unnecessary newlines

Browse Source
This commit is contained in:
AnHaechan
2023-08-22 11:12:46 +00:00
parent d74a8e0b43
commit 57d994107d
6 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
assets/why3/assignment05/binary_search.mlw
View File

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

2
assets/why3/assignment05/pascal.mlw
View File

@@ -5,6 +5,7 @@
*) *)
module Pascal module Pascal
use int.Int use int.Int
use ref.Ref use ref.Ref
use array.Array use array.Array
@@ -36,4 +37,5 @@ module Pascal
row <- new_row row <- new_row
done; done;
row row
end end