From a6796184c5e5316c861aba81221558baafc97974 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Mon, 28 Nov 2022 08:21:42 +0100 Subject: [PATCH] fix compilation of TPC and calculator after switch to domain module from htt (which bundles bottom element in posets) --- shims/DiSeL.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/shims/DiSeL.ml b/shims/DiSeL.ml index ab8ba70..9e4294f 100644 --- 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