diff --git a/src/ParsingDriver.cc b/src/ParsingDriver.cc
index df1ffa58eaad4cb90a173767df37fb0ffc6a89cf..63612168f7449077e84442d06a54285f4cb7504d 100644
--- a/src/ParsingDriver.cc
+++ b/src/ParsingDriver.cc
@@ -3368,6 +3368,8 @@ ParsingDriver::var_expectation_model()
   it = options_list.num_options.find("time_shift");
   if (it != options_list.num_options.end())
     time_shift = stoi(it->second);
+  if (time_shift > 0)
+    error("The 'time_shift' option must be a non-positive integer");
 
   mod_file->addStatement(make_unique<VarExpectationModelStatement>(model_name, var_expectation_model_expression,
                                                                    var_model_name, horizon,