From c57ae52862af902f3cf50649194a6916978a4b55 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@m4x.org>
Date: Tue, 22 Jun 2010 15:24:34 +0200
Subject: [PATCH] Do not forget to write the interface file

---
 compiler/main/heptc.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/main/heptc.ml b/compiler/main/heptc.ml
index ec7b560..f68aedd 100644
--- 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