From 058b5c20ba7bb3adc4f130ff24893c13941eca4d Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Sat, 28 Mar 2009 21:15:18 +0000 Subject: fix typo --- docs/users_guide/using.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index f769d28749..8b876204ec 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. -- cgit v1.2.1