From 216ebb8333309ea0ef5f798453ac2ad56c9cacf1 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 27 Mar 2015 15:46:57 -0700
Subject: [PATCH] hledger-lib: mark the double flag as manual only

This would only be used for developer testing, cabal should never toggle
it automatically.
---
 hledger-lib/hledger-lib.cabal | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/hledger-lib/hledger-lib.cabal b/hledger-lib/hledger-lib.cabal
index a0d105dbb..707eb9755 100644
--- a/hledger-lib/hledger-lib.cabal
+++ b/hledger-lib/hledger-lib.cabal
@@ -35,9 +35,9 @@ source-repository head
   location: https://github.com/simonmichael/hledger
 
 flag double
-    Description:   Use old Double number representation (instead of Decimal), for testing/benchmarking.
-    Default:       False
-
+    description:   Use old Double number representation (instead of Decimal), for testing/benchmarking.
+    default:       False
+    manual:        True
 
 flag old-locale
   description: A compatibility flag, set automatically by cabal.