From 866a787e593945c14f7c4216c09f7384f92b8044 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 27 May 2013 09:18:34 +0000
Subject: restore s line that was accidentally removed by the previous commit

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2243 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 main/compile.icl | 1 +
 1 file changed, 1 insertion(+)

(limited to 'main')

diff --git a/main/compile.icl b/main/compile.icl
index fc9ac46..c63bafe 100644
--- a/main/compile.icl
+++ b/main/compile.icl
@@ -308,6 +308,7 @@ compileModule options backendArgs cache=:{dcl_modules,functions_and_macros,prede
 			{feo_up_to_phase=FrontEndPhaseAll
 			,feo_generics=options.compile_with_generics
 			,feo_fusion=options.compile_with_fusion
+			,feo_dump_core=options.dump_core
 			,feo_strip_unused=options.strip_unused
 			} moduleIdent options.searchPaths dcl_modules functions_and_macros list_inferred_types predef_symbols hash_table fmodificationtime files error io out tcl_file heaps 
 
-- 
cgit v1.2.3