Remove depedence on axioms for PER lemmas (#89)

Beluga-lang · May 22, 2024 · 8dda0c7 · 8dda0c7
1 parent bc58326
commit 8dda0c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/Core/Semantic/PER/Lemmas.v b/theories/Core/Semantic/PER/Lemmas.v
@@ -1,6 +1,6 @@
 From Coq Require Import Lia Morphisms Morphisms_Prop Morphisms_Relations PeanoNat Relation_Definitions RelationClasses.
 From Equations Require Import Equations.
-From Mcltt Require Import Axioms Base LibTactics.
+From Mcltt Require Import Base LibTactics.
 From Mcltt.Core Require Import Evaluation PER.Definitions PER.CoreTactics Readback.
 Import Domain_Notations.