diff --git a/preprocessor/SymbolTable.cc b/preprocessor/SymbolTable.cc
index 10b06a718..4dd13629d 100644
--- a/preprocessor/SymbolTable.cc
+++ b/preprocessor/SymbolTable.cc
@@ -225,7 +225,7 @@ SymbolTable::writeOutput(ostream &output) const throw (NotYetFrozenException)
       output << "M_.predetermined_variables = [ ";
       for(set<int>::const_iterator it = predetermined_variables.begin();
           it != predetermined_variables.end(); it++)
-        output << getTypeSpecificID(*it) << " ";
+        output << getTypeSpecificID(*it)+1 << " ";
       output << "];" << endl;
     }
 }