diff options
Diffstat (limited to 'kernel/conv_oracle.ml')
| -rw-r--r-- | kernel/conv_oracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/conv_oracle.ml b/kernel/conv_oracle.ml index 758bf821f..0a96821a3 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 |