From 44e433194331f3bffd8945e4d26c13bd41a840b7 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Sun, 9 Jul 2023 17:41:37 +0200
Subject: [PATCH] ZoneInterface: remove the DoNothing action.

---
 src/App/ZoneInterface.purs | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/App/ZoneInterface.purs b/src/App/ZoneInterface.purs
index 7cff984..7e70989 100644
--- a/src/App/ZoneInterface.purs
+++ b/src/App/ZoneInterface.purs
@@ -118,8 +118,6 @@ data Action
   | Initialize
   | Finalize
 
-  | DoNothing String
-
   -- New entries.
   | UpdateNewSRRForm  Update_SRR_Form
   | UpdateNewMXForm   Update_MX_Form
@@ -253,9 +251,6 @@ handleAction = case _ of
     state <- H.get
     H.raise $ Log $ SimpleLog "Finalized!"
 
-  DoNothing _ -> do
-    H.raise $ Log $ SimpleLog "This action does nothing (at least for now)"
-
   UpdateNewSRRForm rr_update -> case rr_update of
     Update_SRR_Type val -> do
       let new_type = fromMaybe "unknown" (baseRecords !! val)