diff --git a/src/Assembly/Parse.v b/src/Assembly/Parse.v
index 4bf046fd20..f12d03a8b0 100644
--- a/src/Assembly/Parse.v
+++ b/src/Assembly/Parse.v
@@ -11,7 +11,6 @@ Require Import Crypto.Util.Strings.ParseArithmetic.
 Require Import Crypto.Util.Strings.String.
 Require Import Crypto.Util.Strings.Show.
 Require Import Crypto.Util.Strings.Show.Enum.
-Require Import Crypto.Util.Listable.
 Require Import Crypto.Util.ErrorT.
 Require Import Crypto.Util.ListUtil.
 Require Import Crypto.Util.Option.