--- a/exps/bit-test.scala	Tue May 14 21:43:11 2019 +0100
+++ b/exps/bit-test.scala	Wed May 15 11:51:52 2019 +0100
@@ -691,7 +691,7 @@
   flatten.toSet.flatten.minBy(a => asize(a._1))
 
 // tests about good
-def good (a: ARexp) : Boolean = a match {
+def good(a: ARexp) : Boolean = a match {
   case AZERO => false
   case AONE(_) => true
   case APRED(_, _, _) => true