From 32a877c3d4bc7295f9e611e5d845da5c4c10100c Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Sat, 9 Jul 2022 13:18:29 -0700
Subject: [PATCH] Fix the --dumpanf command line switch.

---
 src/Idris/Package.idr | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Idris/Package.idr b/src/Idris/Package.idr
index 6de2de9ee..84e534198 100644
--- a/src/Idris/Package.idr
+++ b/src/Idris/Package.idr
@@ -785,6 +785,7 @@ partitionOpts opts = foldr pOptUpdate (MkPFR [] [] False) opts
     optType (Timing l)             = POpt
     optType (Logging l)            = POpt
     optType CaseTreeHeuristics     = POpt
+    optType (DumpANF f)            = POpt
     optType (DumpCases f)          = POpt
     optType (DumpLifted f)         = POpt
     optType (DumpVMCode f)         = POpt