Adjust whitespace

mit-plv · Nov 10, 2022 · 8a40e83 · 8a40e83
1 parent 8ce7e2d
commit 8a40e83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Util/ListUtil.v b/src/Util/ListUtil.v
@@ -3503,4 +3503,4 @@ Proof.
           --- apply H3.
 Qed.
 
-End Reifiable.
+End Reifiable.