fix

logsem · May 23, 2024 · aff87e4 · aff87e4
1 parent 5064339
commit aff87e4
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/theories/rules/rules_IsUnique.v b/theories/rules/rules_IsUnique.v
@@ -4,7 +4,6 @@ From iris.proofmode Require Import proofmode.
 From iris.algebra Require Import frac.
 From cap_machine Require Export rules_base.
 From cap_machine.proofmode Require Export region register_tactics.
-From stdpp Require Import tactics.
 
 Section cap_lang_rules.
   Context `{HmemG : memG Σ, HregG : regG Σ}.