nasty change in the lexer/parser:

[helm.git] / helm / software / matita / library / algebra / semigroups.ma

diff --git a/helm/software/matita/library/algebra/semigroups.ma b/helm/software/matita/library/algebra/semigroups.ma
index af5e01e06c0bb1064271b90c6565d591c9e5b011..7d68dbb360f9cdcef6dd4fdf3325cdd32fbc2b62 100644 (file)
--- a/helm/software/matita/library/algebra/semigroups.ma
+++ b/helm/software/matita/library/algebra/semigroups.ma
@@ -21,7 +21,7 @@ record Magma : Type≝
    op: carrier → carrier → carrier
  }.
 
-interpretation "magma operation" 'middot a b = (op _ a b).
+interpretation "magma operation" 'middot a b = (op ? a b).
 
 (* Semigroups *)