Merge pull request #7 from kyoDralliam/coq-8.18

Fix compilation of smpl for coq 8.18
uds-psl · Jan 25, 2024 · bd2d217 · bd2d217
2 parents 8f080c1 + e6a21f2
commit bd2d217
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smpl.mlg b/src/smpl.mlg
@@ -38,7 +38,7 @@ let smpl_dbs = ref (StringMap.empty : smpl_db StringMap.t)
 (*** Summary ***)
 
 let init    () = smpl_dbs := StringMap.empty
-let freeze   ~marshallable = !smpl_dbs
+let freeze  () = !smpl_dbs
 let unfreeze t = smpl_dbs := t
 
 let _ = Summary.declare_summary "smpl"