diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/conv_oracle.ml | 2 | ||||
| -rw-r--r-- | kernel/conv_oracle.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/kernel/conv_oracle.ml b/kernel/conv_oracle.ml index 758bf821f2..0a96821a33 100644 --- a/kernel/conv_oracle.ml +++ b/kernel/conv_oracle.ml @@ -29,7 +29,7 @@ let var_opacity = ref Id.Map.empty let cst_opacity = ref Cmap.empty (* summary operations *) -let freeze () = (!var_opacity, !cst_opacity) +let freeze _ = (!var_opacity, !cst_opacity) let unfreeze (vo,co) = (cst_opacity := co; var_opacity := vo) let get_strategy = function diff --git a/kernel/conv_oracle.mli b/kernel/conv_oracle.mli index 4d87796640..822c3ea708 100644 --- a/kernel/conv_oracle.mli +++ b/kernel/conv_oracle.mli @@ -36,5 +36,5 @@ val get_transp_state : unit -> transparent_state (**************************** Summary operations *) type oracle -val freeze : unit -> oracle +val freeze : bool -> oracle val unfreeze : oracle -> unit |