From 4032ed3192424a23dbb0a4f3bd2a539b22625168 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 3 Apr 2019 21:00:46 +0200
Subject: problem in ValueAOp

---
 cfrontend/C2C.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cfrontend/C2C.ml')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index 1ab38a2b..c17ce75a 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -187,6 +187,7 @@ let builtins_generic = {
            false);
     (* Ternary operator *)
     builtin_ternary "uint" (TInt(IUInt, []));
+    builtin_ternary "ulong" (TInt(IULong, []));
 	    
     (* Annotations *)
     "__builtin_annot",
-- 
cgit