From 462c5332981ba07d1a8102d3403d1a0b920fba98 Mon Sep 17 00:00:00 2001
From: natile <??>
Date: Wed, 13 Nov 2002 18:55:57 +0000
Subject: [PATCH] Attribute patched: now takes an extra argument of type bool.

---
 helm/ocaml/mathql/mathQL.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index d375d92af..6d112c85b 100644
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -78,7 +78,7 @@ and val_exp = Const of string list
 	    | Record of rvar * vvar
 	    | VVar of vvar
 	    | Fun of string * val_exp
-	    | Attribute of refine_op * path * val_exp
+	    | Attribute of refine_op * path * bool * val_exp
 
 type query = set_exp
 
-- 
2.39.2