fix compilation for coq 8.17

uds-psl · Jan 26, 2024 · 4ee3983 · 4ee3983
1 parent d00c56b
commit 4ee3983
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 ***)