fixed a typo in smack TI
@@ -58,7 +58,7 @@ class Tool(benchexec.tools.template.BaseTool2):
modifications to make just before calling SMACK.
"""
data_model_param = get_data_model_from_task(task, {ILP32: "-m32", LP64: "-m64"})
- if data_model_param and "--data-model" not in options:
+ if data_model_param and "--clang-options" not in options:
options += ["--clang-options=" + data_model_param]
if task.property_file:
