Fix the build script.

[tatoo.git] / src / utils / qNameSet.ml

diff --git a/src/utils/qNameSet.ml b/src/utils/qNameSet.ml
index 934d2de..d895ff3 100644 (file)
--- a/src/utils/qNameSet.ml
+++ b/src/utils/qNameSet.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-04 17:42:09 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-09 17:54:35 CET by Kim Nguyen>
 *)
 
 include FiniteCofinite.Make(Ptset.Make(QName))
@@ -32,8 +32,18 @@ let printer fmt e test conv inv is_any =
 
 let print fmt e = printer fmt e is_finite elements complement is_any
 
+let specials = [ QName.document; QName.text; QName.text ]
+let notstar = from_list specials
+let star = diff any notstar
+let node = any
+let text = singleton QName.text
+
 module Weak =
 struct
   include FiniteCofinite.Weak(Ptset.Weak(QName))
   let print fmt e =  printer fmt e is_finite elements complement is_any
+  let notstar = from_list specials
+  let star = diff any notstar
+  let node = any
+  let text = singleton QName.text
 end