synced to 1.1

diff --git a/check/time_dennyfliegner.cpp b/check/time_dennyfliegner.cpp
index 4fd13c469f0f578a2b0e560d8884ff1e919ece9d..5920b4336ffd4639b3ddc9c96d5c990706a4b99c 100644 (file)
--- a/check/time_dennyfliegner.cpp
+++ b/check/time_dennyfliegner.cpp
@@ -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];
        
        // 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 "
        
        if (e != pow(a[1],2)) {
                clog << "Denny Fliegner's quick consistency check erroneously returned "