From acfcf798f6f8700c66ccb9d4a5b47625b4fb0557 Mon Sep 17 00:00:00 2001 From: Hei Li Date: Wed, 25 Sep 2024 10:09:45 +0200 Subject: [PATCH] NIT --- theories/coneris/lib/hocap_rand.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/theories/coneris/lib/hocap_rand.v b/theories/coneris/lib/hocap_rand.v index ab33b702..cb3a437d 100644 --- 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.