From 24ca86389b32e42199db8faadd41918e162b8d46 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 4 Jan 2014 10:32:22 +0100 Subject: STM: modules do not prevent proofs from being ASync --- library/summary.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'library/summary.mli') diff --git a/library/summary.mli b/library/summary.mli index f6a9c6951..1ce09e12c 100644 --- a/library/summary.mli +++ b/library/summary.mli @@ -57,6 +57,7 @@ val nop : unit -> unit type frozen +val empty_frozen : frozen val freeze_summaries : marshallable:marshallable -> frozen val unfreeze_summaries : frozen -> unit val init_summaries : unit -> unit -- cgit v1.2.3