Use Listable to prove equality of registers and opcodes

This is much faster, especially as we add more registers and opcodes
mit-plv · Mar 5, 2025 · f60089e · f60089e
1 parent fd145f5
commit f60089e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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.