From 9bfc8bf11e15b7b9a782f1757f9a0ebe324b16e4 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Tue, 19 Apr 2011 10:15:26 +0200
Subject: Add log_err to rustboot

---
 src/boot/fe/ast.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/boot/fe/ast.ml')

diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml
index 8ea03a63..f498fb0e 100644
--- a/src/boot/fe/ast.ml
+++ b/src/boot/fe/ast.ml
@@ -229,6 +229,7 @@ and stmt' =
   | STMT_join of lval
   | STMT_send of (lval * lval)
   | STMT_log of atom
+  | STMT_log_err of atom
   | STMT_note of atom
   | STMT_prove of (constrs)
   | STMT_check of (constrs * check_calls)
@@ -1210,6 +1211,13 @@ and fmt_stmt_body (ff:Format.formatter) (s:stmt) : unit =
             fmt ff ";"
           end
 
+      | STMT_log_err at ->
+          begin
+            fmt ff "log_err ";
+            fmt_atom ff at;
+            fmt ff ";"
+          end
+
       | STMT_spawn (dst, domain, name, fn, args) ->
           fmt_lval ff dst;
           fmt ff " = spawn ";
-- 
cgit v1.2.3