1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Aug 18 16:46:22 2021 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Aug 18 20:34:41 2021 +0200
     1.3 @@ -121,7 +121,7 @@
     1.4  
     1.5  val given  = ["equation (l=(0::real))",
     1.6  	     "bound_variable bdv"];
     1.7 -val where_ = ["l is_linear_in bdv", "bdv is_const"];
     1.8 +val where_ = ["l is_linear_in bdv", "bdv is_atom"];
     1.9  val find   = ["l::real"];
    1.10  val with_  = ["l = (%x. l) bdv"];
    1.11  val chkpbl = map (the o (parseold thy)) (given @ where_ @ find @ with_);