From 0c09659bfcfd725c27d99d36cbe7004c3fbe7d40 Mon Sep 17 00:00:00 2001 From: Christian Bauer Date: Mon, 21 Jul 2003 17:34:21 +0000 Subject: [PATCH] subs_no_pattern -> no_pattern --- 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 1e0ed389..0230ee92 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.50.0