1 files changed, 1 insertions, 12 deletions
diff --git a/crawl-ref/source/clua.cc b/crawl-ref/source/clua.cc
index 1b80f2f498..982c208388 100644
--- a/crawl-ref/source/clua.cc
+++ b/crawl-ref/source/clua.cc
@@ -1794,18 +1794,7 @@ static int crawl_read_options(lua_State *ls)
         return (0);
 
     const char* filename = lua_tostring(ls, 1);
-    FILE* f = fopen( filename, "r" );
-    if (f)
-    {
-        FileLineInput fl(f);
-        Options.read_options(fl, true);
-        fclose(f);
-    }
-    else
-    {
-        mprf(MSGCH_WARN, "Warning: could not read options file '%s'", filename);
-    }
-
+    Options.include(filename, true, true);
     return (0);
 }