mirror of
https://github.com/github/semantic.git
synced 2024-12-30 18:36:27 +03:00
Whoops, forgot a plugin entry.
This commit is contained in:
parent
8bf42329a4
commit
803817bc92
@ -1,5 +1,4 @@
|
||||
{-# LANGUAGE UndecidableInstances #-}
|
||||
{-# OPTIONS_GHC -fplugin=DumpCore #-}
|
||||
module Prologue
|
||||
( module X
|
||||
, eitherM
|
||||
|
Loading…
Reference in New Issue
Block a user