Commit 30de3f07 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

use import module -> use import

parent 494c9bd7
......@@ -23,8 +23,8 @@
module Mjrty
use import int.Int
use import module ref.Refint
use import module array.Array
use import ref.Refint
use import array.Array
exception Not_found
exception Found
......@@ -78,6 +78,6 @@ end
(*
Local Variables:
compile-command: "unset LANG; make -C ../.. examples/programs/mjrty.gui"
compile-command: "why3ide mjrty.mlw"
End:
*)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment