Remove curly brackets from Tactics.GetBit.fst

cryspen · Sep 4, 2024 · b01cd8c · b01cd8c
1 parent 4b5a63b
commit b01cd8c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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