[r2006-03-26 15:43:33 by afrisch] Accept binding prefix to empty string

Original author: afrisch
Date: 2006-03-26 15:43:33+00:00

misc/ns.ml

@@ -95,7 +95,7 @@ module Printer = struct
     H.add p.ns_to_prefix empty (ref (Set empty_str));
     Table.iter 
       (fun pr ns ->
-	 if (U.get_str pr <> "") then
+	 if (U.get_str pr <> "") && not (Uri.equal empty ns) then
 	   match get_prefix p ns  with
 	     | { contents = Hint l } as r -> 
 		 p.hints <- pr::p.hints;