diff --git a/src/smpl.mlg b/src/smpl.mlg
index 4277ea6..66fece6 100644
--- a/src/smpl.mlg
+++ b/src/smpl.mlg
@@ -44,8 +44,8 @@ let unfreeze t = smpl_dbs := t
 let _ = Summary.declare_summary "smpl"
 	{ Summary.freeze_function   = freeze;
 	  Summary.unfreeze_function = unfreeze;
-	  Summary.init_function     = init;
-    Summary.stage = Summary.Stage.Interp }
+	  Summary.init_function     = init ;
+    Summary.stage             = Summary.Stage.Synterp }
 
 (*** Database actions ***)