diff --git a/src/App/Program.fs b/src/App/Program.fs
index 495797f2..8303a86a 100644
--- a/src/App/Program.fs
+++ b/src/App/Program.fs
@@ -116,6 +116,7 @@ type MissionOptions
numPregeneratedTxs: int option,
genesisTestAccountCount: int option,
asanOptions: string option,
+ coreEnv: string option,
catchupSkipKnownResultsForTesting: bool option,
checkEventsAreConsistentWithEntryDiffs: bool option,
enableRelaxedAutoQsetConfig: bool,
@@ -516,6 +517,9 @@ type MissionOptions
[