From 12980236dcb7aa5535be0ce8b9d58c187dfd103e Mon Sep 17 00:00:00 2001
From: Houtan Bastani <houtan.bastani@ens.fr>
Date: Tue, 19 Jun 2012 12:07:09 +0200
Subject: [PATCH] preprocessor: require instruments option for
discretionary_policy
---
preprocessor/ComputingTasks.cc | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/preprocessor/ComputingTasks.cc b/preprocessor/ComputingTasks.cc
index 649745e1a..d4ff1708c 100644
--- a/preprocessor/ComputingTasks.cc
+++ b/preprocessor/ComputingTasks.cc
@@ -224,6 +224,12 @@ DiscretionaryPolicyStatement::checkPass(ModFileStructure &mod_file_struct, Warni
{
mod_file_struct.discretionary_policy_present = true;
+ if (options_list.symbol_list_options.find("instruments") == options_list.symbol_list_options.end())
+ {
+ cerr << "ERROR: discretionary_policy: the instruments option is required." << endl;
+ exit(EXIT_FAILURE);
+ }
+
/* Fill in option_order of mod_file_struct
Since discretionary policy needs one further order of derivation (for example, for 1st order
approximation, it needs 2nd derivatives), we add 1 to the order declared by user */
--
GitLab