From 9ad7f2f7e43e6e9ae7de2b6f6601c6eeaec36bc6 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Tue, 9 Aug 2016 12:04:19 -0700
Subject: [PATCH] pkg: drop unused double flag

---
 hledger-lib/hledger-lib.cabal | 5 -----
 hledger-lib/package.yaml      | 4 ----
 2 files changed, 9 deletions(-)

diff --git a/hledger-lib/hledger-lib.cabal b/hledger-lib/hledger-lib.cabal
index 9a857f31f..e784f0a2a 100644
--- a/hledger-lib/hledger-lib.cabal
+++ b/hledger-lib/hledger-lib.cabal
@@ -47,11 +47,6 @@ source-repository head
   type: git
   location: https://github.com/simonmichael/hledger
 
-flag double
-  manual: True
-  default: False
-  description: Use old Double number representation (instead of Decimal), for testing/benchmarking.
-
 flag oldtime
   description: If building with time < 1.5, also depend on old-locale. Set automatically by cabal.
   manual: False
diff --git a/hledger-lib/package.yaml b/hledger-lib/package.yaml
index 989de3e8a..ab9ce7b15 100644
--- a/hledger-lib/package.yaml
+++ b/hledger-lib/package.yaml
@@ -34,10 +34,6 @@ data-files:
 - doc/hledger_timeclock.5.txt
 - doc/hledger_timeclock.5.info
 flags:
-  double:
-    description: Use old Double number representation (instead of Decimal), for testing/benchmarking.
-    manual: true
-    default: false
   oldtime:
     description: If building with time < 1.5, also depend on old-locale. Set automatically by cabal.
     manual: false