X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fast.mli;h=067d20a10a36b0bb74e54d431183984a42b67037;hb=c46c3a5c7793753f2f15c1655517f3f9b8fee644;hp=3a42ec4bbfca81ce8933c065cd85a2106b86551b;hpb=70be8e48106b13883da29574e7735ca85d8192cc;p=goals.git

diff --git a/src/ast.mli b/src/ast.mli
index 3a42ec4..067d20a 100644
--- a/src/ast.mli
+++ b/src/ast.mli
@@ -17,7 +17,7 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  *)
 
-module StringMap : sig
+module Env : sig
   type key = string
   type 'a t
   val empty: 'a t
@@ -36,7 +36,7 @@ val string_loc : unit -> loc -> string
 
 (** An environment is a set of variable and goal definitions, mapping
     variable or goal name -> expression. *)
-type env = expr StringMap.t
+type env = expr Env.t
 and pattern =
   (** match tactic such as file ("filename") *)
   | PTactic of loc * id * substs list