Remove missing file

2020-11-10 17:46:06 +01:00
parent 33f8d22f28
commit 0a139970d2
1 changed files with 1 additions and 2 deletions
--- 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
 }