Require Import BinNat before using it in ParseArithmetic.v

Author: andres-erbsen

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.