From 1b6667cf268189104bc3320e83fa23fe0d053717 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 7 Feb 2020 14:29:32 +0100
Subject: stubs to keep compiling on architectures not K1c

---
 arm/DuplicateOpcodeHeuristic.ml | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 arm/DuplicateOpcodeHeuristic.ml

(limited to 'arm/DuplicateOpcodeHeuristic.ml')

diff --git a/arm/DuplicateOpcodeHeuristic.ml b/arm/DuplicateOpcodeHeuristic.ml
new file mode 100644
index 00000000..85505245
--- /dev/null
+++ b/arm/DuplicateOpcodeHeuristic.ml
@@ -0,0 +1,3 @@
+exception HeuristicSucceeded
+        
+let opcode_heuristic code cond ifso ifnot preferred = ()
-- 
cgit