From 0a139970d2bedbbcd0b6449b6a46affb4622ea7a Mon Sep 17 00:00:00 2001
From: Boris Batteux <boris.batteux@eshard.com>
Date: Tue, 10 Nov 2020 17:46:06 +0100
Subject: [PATCH] Remove missing file

---
 d810/conf/options.json | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/d810/conf/options.json b/d810/conf/options.json
index cee4a67..a985182 100644
--- a/d810/conf/options.json
+++ b/d810/conf/options.json
@@ -7,8 +7,7 @@
     "default_instruction_only.json",
     "default_unflattening_ollvm.json",
     "default_unflattening_switch_case.json",
-    "example_anel.json",
-    "example_unflattening_indirect.json"
+    "example_anel.json"
   ],
   "last_project_index": 0
 }
\ No newline at end of file