From a97ee8d235bad19a6b7eb654ba412b7dfd1ddc8e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 4 Dec 2023 13:29:28 +0100 Subject: [PATCH] wip --- structures.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/structures.v b/structures.v index 6f51e3c6..2bdc990d 100644 --- a/structures.v +++ b/structures.v @@ -665,7 +665,7 @@ actions N :- coq.env.current-library File, coq.elpi.accumulate current "export.db" (clause _ _ (module-to-export File E)), coq.elpi.accumulate current "export.db" (clause _ _ (module-to-export File O)), - if (get-option "mathcomp" tt) (actions-compat N) true. + if (get-option "mathcomp" tt ; get-option "mathcomp.axiom" _) (actions-compat N) true. pred actions-compat i:id. actions-compat ModuleName :-