diff options
Diffstat (limited to 'coqprime/PrimalityTest/Zp.v')
-rw-r--r-- | coqprime/PrimalityTest/Zp.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coqprime/PrimalityTest/Zp.v b/coqprime/PrimalityTest/Zp.v index 1e5295191..9b99bef1d 100644 --- a/coqprime/PrimalityTest/Zp.v +++ b/coqprime/PrimalityTest/Zp.v @@ -15,7 +15,7 @@ Definition: ZpGroup **********************************************************************) Require Import ZArith Znumtheory Zpow_facts. -Require Import Tactic. +Require Import Coqprime.Tactic. Require Import Wf_nat. Require Import UList. Require Import FGroup. |