diff --git a/targets/SIMU/USER/oaisim_functions.c b/targets/SIMU/USER/oaisim_functions.c index 130a3393905e0325aa60d3ba1612c1772d6ed9aa..508ebcde27804d8f8856657c1b19ce3882f131cc 100644 --- a/targets/SIMU/USER/oaisim_functions.c +++ b/targets/SIMU/USER/oaisim_functions.c @@ -450,6 +450,8 @@ void get_simulation_options(int argc, char *argv[]) case 'a': abstraction_flag = 1; + printf("FATAL: -a flag not functional for the moment.\nWe are working on fixing the abstraction mode.\n"); + exit(1); break; case 'A':