NIT

logsem · Sep 25, 2024 · acfcf79 · acfcf79
1 parent 1e707a7
commit acfcf79
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/coneris/lib/hocap_rand.v b/theories/coneris/lib/hocap_rand.v
@@ -770,5 +770,5 @@ Section checks.
         iPureIntro. simpl; simpl in *. lra.
     - iModIntro. iFrame.
   Qed.
-    
+
 End checks.