Commit b7d1f828 authored by Pietro Abate's avatar Pietro Abate

[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
parent eeda3f93
......@@ -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;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment