From 803817bc92ae2aa191fd3d2879a61149f48613e7 Mon Sep 17 00:00:00 2001
From: Patrick Thomson <patrickt@github.com>
Date: Fri, 20 Sep 2019 16:47:07 -0400
Subject: [PATCH] Whoops, forgot a plugin entry.

---
 src/Prologue.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Prologue.hs b/src/Prologue.hs
index 41912a461..69353fd7b 100644
--- a/src/Prologue.hs
+++ b/src/Prologue.hs
@@ -1,5 +1,4 @@
 {-# LANGUAGE UndecidableInstances #-}
-{-# OPTIONS_GHC -fplugin=DumpCore #-}
 module Prologue
   ( module X
   , eitherM