diff --git a/src/Util/Strings/ParseArithmetic.v b/src/Util/Strings/ParseArithmetic.v
index ff8b1613a7..178a4c6813 100644
--- a/src/Util/Strings/ParseArithmetic.v
+++ b/src/Util/Strings/ParseArithmetic.v
@@ -1,5 +1,5 @@
 From Coq Require Import Ascii String List.
-From Coq Require Import BinNums.
+From Coq Require Import BinNat.
 From Coq Require Import QArith.
 From Coq Require Import BinInt.
 Require Import Crypto.Util.Option.