Do not forget to write the interface file

2010-06-22 15:24:34 +02:00 · 2010-06-22 15:24:34 +02:00 · c57ae52862
commit c57ae52862
parent 744f166e12
1 changed files with 1 additions and 0 deletions
--- a/compiler/main/heptc.ml
+++ b/compiler/main/heptc.ml
@ -101,6 +101,7 @@ let compile modname filename =

      (* Process the Heptagon AST *)
      let p = Hept_compiler.compile_impl pp p in
+        Modules.write itc;

      (* Compile Heptagon to MiniLS *)
      let p = Hept2mls.program p in