From dd9778924dc32e2a12183cbc71c58b6e9384f29d Mon Sep 17 00:00:00 2001
From: Cedric Roux <cedric.roux@eurecom.fr>
Date: Mon, 30 Jan 2017 15:52:18 +0100
Subject: [PATCH] hotfix to be removed: oaisim -a abstraction flag disabled

The abstraction mode of oaisim does not work for the moment, it's better
to exit than to crash somewhere randomly.
---
 targets/SIMU/USER/oaisim_functions.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/targets/SIMU/USER/oaisim_functions.c b/targets/SIMU/USER/oaisim_functions.c
index 130a339390..508ebcde27 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':
-- 
2.26.2