fix compilation of TPC and calculator after switch to domain module f…

…rom htt (which bundles bottom element in posets)
DistributedComponents · Nov 28, 2022 · a679618 · a679618
1 parent fd95c9f
commit a679618
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shims/DiSeL.ml b/shims/DiSeL.ml
@@ -3,7 +3,7 @@ open Debug
 
 type 'a prog = 'a
 
-let mkProg = fun x -> x
+let mkProg = Obj.magic ()
 
 type 'a action = 'a