From: Claudio Sacerdoti Coen Date: Sat, 2 Feb 2013 00:41:54 +0000 (+0000) Subject: Oops, part of last commit (ocaml extraction implementation) X-Git-Tag: make_still_working~1285 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4e3af7b63a1db57c95e0fc2a153c330166439eeb;p=helm.git Oops, part of last commit (ocaml extraction implementation) --- diff --git a/matita/matita/lib/preamble.ml b/matita/matita/lib/preamble.ml new file mode 100644 index 000000000..e1a25e14f --- /dev/null +++ b/matita/matita/lib/preamble.ml @@ -0,0 +1,2 @@ +type __ = Obj.t +let __ = let rec f _ = Obj.repr f in Obj.repr f