mod change (-x)

[helm.git] / helm / software / matita / contribs / assembly / compiler / utility.ma

diff --git a/helm/software/matita/contribs/assembly/compiler/utility.ma b/helm/software/matita/contribs/assembly/compiler/utility.ma
old mode 100755 (executable)
new mode 100644 (file)
index 014d598..94adb3c
--- a/helm/software/matita/contribs/assembly/compiler/utility.ma
+++ b/helm/software/matita/contribs/assembly/compiler/utility.ma
@@ -48,9 +48,9 @@ notation "hvbox(l1 break & l2)"
   right associative with precedence 47
   for @{'ne_append $l1 $l2 }.
 
-interpretation "ne_nil" 'ne_nil hd = (ne_nil _ hd).
-interpretation "ne_cons" 'ne_cons hd tl = (ne_cons _ hd tl).
-interpretation "ne_append" 'ne_append l1 l2 = (ne_append _ l1 l2).
+interpretation "ne_nil" 'ne_nil hd = (ne_nil ? hd).
+interpretation "ne_cons" 'ne_cons hd tl = (ne_cons ? hd tl).
+interpretation "ne_append" 'ne_append l1 l2 = (ne_append ? l1 l2).
 
 (* ************ *)
 (* List Utility *)