_

CatalaLang · Jan 18, 2024 · d3b326c · d3b326c
1 parent b70bedc
commit d3b326c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/theories/trans.v b/theories/trans.v
@@ -500,6 +500,9 @@ Proof.
   }
   { simpl.
     repeat step.
+    induction ts; simpl.
+    { repeat step. eapply diagram_finish. }
+    { repeat step. }
     admit.
   }
   { eexists; split; asimpl; [|eapply star_refl].