From b01cd8c03de34db391e8a7ba96a746838f338f1b Mon Sep 17 00:00:00 2001
From: mamonet <maamoun.tk@gmail.com>
Date: Wed, 4 Sep 2024 13:52:38 +0000
Subject: [PATCH] Remove curly brackets from Tactics.GetBit.fst

---
 fstar-helpers/fstar-bitvec/Tactics.GetBit.fst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/fstar-helpers/fstar-bitvec/Tactics.GetBit.fst b/fstar-helpers/fstar-bitvec/Tactics.GetBit.fst
index e79d70661..a59c72fba 100644
--- a/fstar-helpers/fstar-bitvec/Tactics.GetBit.fst
+++ b/fstar-helpers/fstar-bitvec/Tactics.GetBit.fst
@@ -12,8 +12,8 @@ open FStar.Option
 open Tactics.Utils
 open Tactics.Pow2
 
-open BitVecEq {}
-open Tactics.Seq {norm_index, tactic_list_index}
+open BitVecEq
+open Tactics.Seq
 
 
 let _ = Rust_primitives.Hax.array_of_list