diff options
Diffstat (limited to 'kernel/conv_oracle.mli')
-rw-r--r-- | kernel/conv_oracle.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kernel/conv_oracle.mli b/kernel/conv_oracle.mli index 2a6db4b4b..4d8779664 100644 --- a/kernel/conv_oracle.mli +++ b/kernel/conv_oracle.mli @@ -36,6 +36,5 @@ val get_transp_state : unit -> transparent_state (**************************** Summary operations *) type oracle -val init : unit -> unit val freeze : unit -> oracle val unfreeze : oracle -> unit |