From 6b20fbbeaad23724ca7fbcc10c9445f5cb94b699 Mon Sep 17 00:00:00 2001
From: James Pollard <james@pollard.dev>
Date: Thu, 18 Jun 2020 17:12:20 +0100
Subject: Tidy up proof.

---
 src/verilog/Array.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/verilog')

diff --git a/src/verilog/Array.v b/src/verilog/Array.v
index 705dea7..fc52f04 100644
--- a/src/verilog/Array.v
+++ b/src/verilog/Array.v
@@ -104,7 +104,7 @@ Proof.
   apply not_iff_compat in H1.
   apply <- H1 in H0.
 
-  destruct (nth_error (arr_contents a) i ) eqn:EQ; try contradiction; eauto.
+  destruct (nth_error (arr_contents a) i) eqn:EQ; try contradiction; eauto.
 Qed.
 
 Lemma array_get_error_set_bound {A : Type} :
-- 
cgit