5 files changed, 5 insertions, 5 deletions
diff --git a/theories/Ints/num/Q0Make.v b/theories/Ints/num/Q0Make.v
index 09a060e421..326e629024 100644
--- a/theories/Ints/num/Q0Make.v
+++ b/theories/Ints/num/Q0Make.v
@@ -8,7 +8,7 @@ Require Export BigN.
 Require Export BigZ.
 Require Import QArith.
 Require Import Qcanon.
-Require Import QBAux.
+Require Import Qpower.
 Require Import QMake_base.
 
 Module Q0.
diff --git a/theories/Ints/num/QbiMake.v b/theories/Ints/num/QbiMake.v
index fe7d9cb25d..53fb65b2a8 100644
--- a/theories/Ints/num/QbiMake.v
+++ b/theories/Ints/num/QbiMake.v
@@ -8,7 +8,7 @@ Require Export BigN.
 Require Export BigZ.
 Require Import QArith.
 Require Import Qcanon.
-Require Import QBAux.
+Require Import Qpower.
 Require Import QMake_base.	
 
 Module Qbi.
diff --git a/theories/Ints/num/QifMake.v b/theories/Ints/num/QifMake.v
index 3ee0227766..add89898a8 100644
--- a/theories/Ints/num/QifMake.v
+++ b/theories/Ints/num/QifMake.v
@@ -8,7 +8,7 @@ Require Export BigN.
 Require Export BigZ.
 Require Import QArith.
 Require Import Qcanon.
-Require Import QBAux.
+Require Import Qpower.
 Require Import QMake_base.
 
 Module Qif.
diff --git a/theories/Ints/num/QpMake.v b/theories/Ints/num/QpMake.v
index 1ae9fa4ef3..3c859d0f12 100644
--- a/theories/Ints/num/QpMake.v
+++ b/theories/Ints/num/QpMake.v
@@ -8,7 +8,7 @@ Require Export BigN.
 Require Export BigZ.
 Require Import QArith.
 Require Import Qcanon.
-Require Import QBAux.
+Require Import Qpower.
 Require Import QMake_base.
 
 
diff --git a/theories/Ints/num/QvMake.v b/theories/Ints/num/QvMake.v
index c223b6bd23..eb97123da3 100644
--- a/theories/Ints/num/QvMake.v
+++ b/theories/Ints/num/QvMake.v
@@ -8,7 +8,7 @@ Require Export BigN.
 Require Export BigZ.
 Require Import QArith.
 Require Import Qcanon.
-Require Import QBAux.
+Require Import Qpower.
 Require Import QMake_base.
 
 Module Qv.