From 2c60a2d82a0d7b90924e7dbbcacf36afb8549d17 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 23 Sep 2004 14:41:42 +0000
Subject: Ints n

---
 src/GF/Infra/Option.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/GF/Infra')

diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index fff5f5fc1..3b78839f3 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -208,6 +208,7 @@ useName        = aOpt "name"
 useAbsName     = aOpt "abs"
 useCncName     = aOpt "cnc"
 useResName     = aOpt "res"
+useFile        = aOpt "file"
 
 markLin        = aOpt "mark"
 markOptXML     = oArg "xml"
-- 
cgit v1.2.3