subs_no_pattern -> no_pattern

diff --git a/check/time_dennyfliegner.cpp b/check/time_dennyfliegner.cpp
index 1e0ed3896a5e4e35b4a53f72c00891a241c6da42..0230ee92714271b53a2df63e53f0b2f595a95be6 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];
-       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 "