From 65757403924d51f6cc32a30ad7282996ace61854 Mon Sep 17 00:00:00 2001
From: Kjetil Orbekk <kjetil.orbekk@gmail.com>
Date: Wed, 15 Feb 2017 22:57:21 -0500
Subject: Remove unnecessary partial annotation.

---
 Dispatch.idr | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Dispatch.idr b/Dispatch.idr
index a13fef4..d7a8f97 100644
--- a/Dispatch.idr
+++ b/Dispatch.idr
@@ -46,7 +46,6 @@ handlers = [
   , (Directory "weather" (Capture End) ** weatherHandler)
   ]
 
-partial
 main : IO ()
 main = do
   putStrLn (fromMaybe "failed" $ dispatch handlers "hello/Bob/Sunshine")
-- 
cgit v1.2.3