removed new F* feature use

cryspen · Sep 12, 2024 · 5f60d88 · 5f60d88
1 parent 5100963
commit 5f60d88
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 norm_machine_int () = Tactics.MachineInts.(transform norm_machine_int_term)