diff options
Diffstat (limited to 'interp/decls.ml')
| -rw-r--r-- | interp/decls.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/interp/decls.ml b/interp/decls.ml index 933aa774b4..52685e0666 100644 --- a/interp/decls.ml +++ b/interp/decls.ml @@ -92,11 +92,3 @@ let variable_secpath id = make_qualid dir id let variable_exists id = Id.Map.mem id !vartab - -(** Datas associated to global parameters and constants *) - -let csttab = Summary.ref (Cmap.empty : logical_kind Cmap.t) ~name:"CONSTANT" - -let add_constant_kind kn k = csttab := Cmap.add kn k !csttab - -let constant_kind kn = Cmap.find kn !csttab |