From c7a3389c34eebac4fed7764f339f4cd1b2b204f7 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 1 May 2019 16:58:51 +0100
Subject: SMT: Fix some C optimisations that were disabled

Need to get these working again before we can thing about merging back
into sail2
---
 language/jib.ott | 1 +
 1 file changed, 1 insertion(+)

(limited to 'language')

diff --git a/language/jib.ott b/language/jib.ott
index 558c4db7..4ab0e22e 100644
--- a/language/jib.ott
+++ b/language/jib.ott
@@ -73,6 +73,7 @@ op :: '' ::=
 % Bitvector ops
   | bvor            :: :: bvor
   | bvand           :: :: bvand
+  | concat          :: :: concat
   | zero_extend nat :: :: zero_extend
   | sign_extend nat :: :: sign_extend
 
-- 
cgit v1.2.3