fix compilation of TPC and calculator after switch to domain module from htt (which bundles bottom element in posets)

palmskog · palmskog · commit a6796184c5e5 · 2022-11-28T08:21:42.000+01:00
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
 
