diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-07-21 09:46:51 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-07-21 09:46:51 +0200 |
| commit | 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 (patch) | |
| tree | 631ad791a7685edafeb1fb2e8faeedc8379318ae /kernel/conv_oracle.ml | |
| parent | da178a880e3ace820b41d38b191d3785b82991f5 (diff) | |
Imported Upstream snapshot 8.3~beta0+13298
Diffstat (limited to 'kernel/conv_oracle.ml')
| -rw-r--r-- | kernel/conv_oracle.ml | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/kernel/conv_oracle.ml b/kernel/conv_oracle.ml index 898a1ab3..0851c7a5 100644 --- a/kernel/conv_oracle.ml +++ b/kernel/conv_oracle.ml @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id: conv_oracle.ml 10961 2008-05-21 23:26:23Z barras $ *) +(* $Id$ *) open Names @@ -45,14 +45,6 @@ let set_strategy k l = else Cmap.add c l !cst_opacity | RelKey _ -> Util.error "set_strategy: RelKey" -let set_transparent_const kn = - cst_opacity := Cmap.remove kn !cst_opacity -let set_transparent_var id = - var_opacity := Idmap.remove id !var_opacity - -let set_opaque_const kn = set_strategy (ConstKey kn) Opaque -let set_opaque_var id = set_strategy (VarKey id) Opaque - let get_transp_state () = (Idmap.fold (fun id l ts -> if l=Opaque then Idpred.remove id ts else ts) |