From e2627379c98aeafae903cc2f04bdbdc9defa34f7 Mon Sep 17 00:00:00 2001 From: Christian Bauer Date: Mon, 21 Jul 2003 17:34:54 +0000 Subject: [PATCH] synced to 1.1 --- check/time_dennyfliegner.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/check/time_dennyfliegner.cpp b/check/time_dennyfliegner.cpp index 4fd13c46..5920b433 100644 --- 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 " -- 2.44.0