NIT

logsem · Sep 25, 2024 · ef8d71f · ef8d71f
1 parent d2d6f4f
commit ef8d71f
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
@@ -233,7 +233,7 @@ End impl.
 
 Section checks.
   Context `{H: conerisGS Σ, r1:@rand_spec Σ H, L:randG Σ}.
-
+  
   Lemma wp_rand_tape_1 NS (N:nat) E γ1 n ns α:
     ↑NS ⊆ E ->
     {{{ is_rand (L:=L) NS γ1 ∗ ▷ rand_tapes_frag (L:=L) γ1 α (N, n :: ns) }}}