remove feo_dump_core from FrontEndOptions

546c3e1c · John van Groningen · 57b21c77 · 546c3e1c
Commit 546c3e1c authored Jul 11, 2018 by John van Groningen
--- a/frontend/frontend.dcl
+++ b/frontend/frontend.dcl
-/*
-	module owner: Ronny Wichers Schreur
-*/
 definition module frontend

 from scanner import ::SearchPaths
@@ -13,7 +10,6 @@ from partition import ::Component(..),::ComponentMembers
 	=	{	feo_up_to_phase			:: !FrontEndPhase
 		,	feo_fusion	 			:: !FusionOptions
 		,	feo_generics 			:: !Bool
-		,	feo_dump_core			:: !Bool
 		}

 :: FrontEndSyntaxTree