From e64b9464fb6662bf63ac255eca94d17d572c9d81 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 6 Sep 2019 22:33:46 +0200
Subject: ONE "admitted" and things compile

---
 common/PrintAST.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'common/PrintAST.ml')

diff --git a/common/PrintAST.ml b/common/PrintAST.ml
index e477957a..baddb722 100644
--- a/common/PrintAST.ml
+++ b/common/PrintAST.ml
@@ -90,3 +90,7 @@ let rec print_builtin_res px oc = function
       fprintf oc "splitlong(%a, %a)"
                  (print_builtin_res px) hi (print_builtin_res px) lo
 
+let print_trapping_mode oc = function
+  | TRAP -> ()
+  | NOTRAP -> output_string oc " [notrap]"
+                
-- 
cgit