Fix

huynhtrankhanh · Dec 3, 2023 · afb97a1 · afb97a1
1 parent e41bc29
commit afb97a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/coqCodegen.ts b/compiler/coqCodegen.ts
@@ -509,7 +509,7 @@ Proof. simpl. repeat destruct (decide _). all: solve_decision. Defined.
       return header + joinStatements(statements) + '\n'
 
       function joinStatements(statements: string[]) {
-        if (statements.length) return 'Done _ _ _ tt'
+        if (statements.length === 0) return 'Done _ _ _ tt'
         return statements.reduce(
           (accumulated, current) =>
             'bind (' + accumulated + ') (fun ignored => ' + current + ')'