Merge remote-tracking branch 'origin/hotfix-201-oaisim-abstraction' into develop_integration_w05

2017-02-03 16:01:30 +01:00
parent 7b1cbfc326 dd9778924d
commit b55d80ffd2
1 changed files with 2 additions and 0 deletions
@@ -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':