diff --git a/algebra/frac.v b/algebra/frac.v
index 4630dc973fcae8ba097e245e5fb74852afeb18d2..aeb1dfd92884844d17c1da6203b2a452300dab74 100644
--- a/algebra/frac.v
+++ b/algebra/frac.v
@@ -1,4 +1,4 @@
-From Coq Require Import Qcanon.
+From Coq.QArith Require Import Qcanon.
 From algebra Require Export cmra.
 From algebra Require Import functor upred.
 Local Arguments validN _ _ _ !_ /.