Changeset f71453 in git for factory/variable.cc

Timestamp:

Feb 22, 2012, 10:22:53 AM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

346edc8b6fd87fc9063b76b6ec2fa61d0061899f

Parents:

9b8b090bca59f6bb48b468a6a1b63a90e53e6299

git-author:

Martin Lee <martinlee84@web.de>2012-02-22 10:22:53+01:00

git-committer:

Martin Lee <martinlee84@web.de>2012-02-22 15:31:04+01:00

Message:

fix: compilation errors with --enable-assertions

File:

• factory/variable.cc (modified) (1 diff)

factory/variable.cc

@@ -170 +170 @@
 Variable rootOf( const CanonicalForm & mipo, char name )
 {
-    ASSERT( legal_mipo( mipo ), "not a legal extension" );
+    //ASSERT( legal_mipo( mipo ), "not a legal extension" );
 
     int l;