X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=src%2Fast.ml;h=9e5784b66f5303a6d6c1af9b5dca58a2648446c0;hb=7f776dee39a35732964a30091e55aa795169bca5;hp=c828bb0e281e575f0200db6da518bc7de3832ba7;hpb=c261da4d0efea4d86131abbbc2912edfa863995e;p=goals.git

diff --git a/src/ast.ml b/src/ast.ml
index c828bb0..9e5784b 100644
--- a/src/ast.ml
+++ b/src/ast.ml
@@ -36,7 +36,6 @@ let print_loc fp loc =
 type env = expr Env.t
 and pattern =
   | PTactic of loc * id * substs list
-  | PVar of loc * id
 and expr =
   | EGoal of loc * goal
   | ECall of loc * id * expr list
@@ -208,8 +207,7 @@ and string_param_decl () name = name
 and string_pattern () = function
   | PTactic (loc, name, params) ->
      sprintf "*%s (%s)" name (String.concat ", "
-                                (List.map (string_substs ()) params));
-  | PVar (loc, id) -> id
+                                (List.map (string_substs ()) params))
 
 and print_pattern fp p = output_string fp (string_pattern () p)