whitespace

logsem · Feb 14, 2024 · a00e547 · a00e547
1 parent 881b6b2
commit a00e547
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/input_lang_delim/interp.v b/theories/input_lang_delim/interp.v
@@ -507,7 +507,7 @@ Section interp.
   #[export] Instance interp_reset_ne :
     NonExpansive (interp_reset).
   Proof.
-    intros n ???. rewrite /interp_reset. simpl. repeat f_equiv. 
+    intros n ???. rewrite /interp_reset. simpl. repeat f_equiv.
     by do 2 (intro; simpl; repeat f_equiv).
   Qed.