aboutsummaryrefslogtreecommitdiff
path: root/src/input/magma.input.pamphlet
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-01-17 17:15:22 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-01-17 17:15:22 -0800
commit5950f07335c0a2f38224e0223951f9cf6fca350b (patch)
tree16db65f7f9a070ad721d32923ffae0ed0eb733aa /src/input/magma.input.pamphlet
parent68ee78c1a740a9fc60f04a20b685d46a44570360 (diff)
downloadopen-axiom-5950f07335c0a2f38224e0223951f9cf6fca350b.tar.gz
Propagate renaming.
Diffstat (limited to 'src/input/magma.input.pamphlet')
-rw-r--r--src/input/magma.input.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/input/magma.input.pamphlet b/src/input/magma.input.pamphlet
index c4ecc934..4053ddea 100644
--- a/src/input/magma.input.pamphlet
+++ b/src/input/magma.input.pamphlet
@@ -16,7 +16,7 @@ x:Symbol :='x
y:Symbol :='y
z:Symbol :='z
word := OrderedFreeMonoid(Symbol)
-tree := Magma(Symbol)
+tree := FreeMagma(Symbol)
a:tree := x*x
b:tree := y*y
c:tree := a*b