From 058b5c20ba7bb3adc4f130ff24893c13941eca4d Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Sat, 28 Mar 2009 21:15:18 +0000 Subject: [PATCH] fix typo --- docs/users_guide/using.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index f769d28..8b87620 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -120,7 +120,7 @@ module X where Most non-mode flags fall into this category. A dynamic flag may be used on the command line, in a - GHC_OPTIONS pragma in a source file, or set + OPTIONS_GHC pragma in a source file, or set using :set in GHCi. -- 1.7.10.4