typo

vellvm · Jul 3, 2023 · bd3a8d6 · bd3a8d6
1 parent 9db384e
commit bd3a8d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/coq/Semantics/InfiniteToFinite/LangRefine.v b/src/coq/Semantics/InfiniteToFinite/LangRefine.v
@@ -7590,7 +7590,7 @@ Qed.
 
       - clear o.
         solve_orutt_raise.
-    }}
+    }
   Qed.
 
   Lemma denote_terminator_orutt_strict :