bugfix

BenKBreen · Dec 11, 2023 · c31023b · c31023b
1 parent 6bc1f37
commit c31023b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ModFrmHilD/Basis.m b/ModFrmHilD/Basis.m
@@ -173,7 +173,7 @@ intrinsic CuspFormBasisViaTrace(Mk::ModFrmHilD : IdealClassesSupport:=false, fai
     B := (#B ne 0) select Basis(B) else B;
     if d eq (dim - #B) then
       fails +:=1;
-    else:
+    else
       fails := 0;
     end if;
     require fails lt fail_counter : "Hit %o fails. Need more precision for graded ring", fails;