Trying to fix build

logsem · Dec 22, 2023 · 35c492c · 35c492c
1 parent 29f6f21
commit 35c492c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/theories/ub_logic/cf_hash.v b/theories/ub_logic/cf_hash.v
@@ -1,7 +1,5 @@
 From clutch.ub_logic Require Export ub_clutch hash lib.map.
-From clutch.prelude Require Export sum_n_ext.
 Import Hierarchy.
-Set Default Proof Using "Type*".
 
 Module coll_free_hash.