diff options
Diffstat (limited to 'bin/main.ml')
| -rw-r--r-- | bin/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/main.ml b/bin/main.ml index e763f70..c9ca884 100644 --- a/bin/main.ml +++ b/bin/main.ml | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | open Sand | 1 | open Sandy |
| 2 | 2 | ||
| 3 | let () = | 3 | let () = |
| 4 | let open Editor in | 4 | let open Editor in |