From 68ee78c1a740a9fc60f04a20b685d46a44570360 Mon Sep 17 00:00:00 2001 From: Gabriel Dos Reis Date: Sun, 17 Jan 2016 17:04:36 -0800 Subject: Rename Magma to FreeMagma A breeze, given previous compiler work. Renaming matches FriCAS's. --- src/algebra/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/algebra/Makefile.am') diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am index 6d182dab..88c3a9fc 100644 --- a/src/algebra/Makefile.am +++ b/src/algebra/Makefile.am @@ -2375,7 +2375,7 @@ $(OUT)/POLY.$(FASLEXT): strap-2/INDE.$(FASLEXT) $(OUT)/FR2.$(FASLEXT): strap-2/COMPLEX.$(FASLEXT) oa_algebra_layer_9 = \ - DLP EAB IPADIC MAGMA QUEUE MATLIN \ + DLP EAB IPADIC FMAGMA QUEUE MATLIN \ FAMONOID CONTFRAC WP PERM PERMGRP DDFACT \ FSERIES FT IDPAG INFINITY LA \ OMLO ORTHPOL PRODUCT POLTOPOL SQMATRIX \ -- cgit v1.2.3