Small fixes

4cd1c33b · Giuseppe Castagna · 6bd8f78e · 4cd1c33b
Commit 4cd1c33b authored Sep 19, 2014 by Giuseppe Castagna
--- a/tests/poly/pretty.cd
+++ b/tests/poly/pretty.cd
 (* example taken from the paper "A core calculus for XQuery 3.0" *)

-let pretty ( ( <a class="style1" href='c>  'a) -> <a href='c>[<b> 'a ] ; 
+let pretty ( ( <a class="style1" href='c ..>  'a) -> <a href='c>[<b> 'a ] ; 
               'b\ <a class="style1">_ -> 'b\  <a class="style1">_ )
   | <a class="style1" href=h ..> l -> <a href=h>[<b> l]
   | x -> x;;