synced to 1.1
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 21 Jul 2003 17:34:54 +0000 (17:34 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 21 Jul 2003 17:34:54 +0000 (17:34 +0000)
check/time_dennyfliegner.cpp

index 4fd13c469f0f578a2b0e560d8884ff1e919ece9d..5920b4336ffd4639b3ddc9c96d5c990706a4b99c 100644 (file)
@@ -42,7 +42,7 @@ static unsigned expand_subs(unsigned size)
        
        // prepare aux so it will swallow anything but a1^2:
        aux = -e + a[0] + a[1];
-       e = pow(e,2).expand().subs(a[0]==aux, subs_options::subs_no_pattern).expand();
+       e = pow(e,2).expand().subs(a[0]==aux, subs_options::no_pattern).expand();
        
        if (e != pow(a[1],2)) {
                clog << "Denny Fliegner's quick consistency check erroneously returned "