From 48cc76254b6cbbf536a0424275087b084d40f4cb Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 17 Jul 2018 13:19:53 +0100
Subject: Coq: add printing stubs

---
 lib/coq/Sail2_values.v | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/coq/Sail2_values.v b/lib/coq/Sail2_values.v
index 0bd4707d..63cf7542 100644
--- a/lib/coq/Sail2_values.v
+++ b/lib/coq/Sail2_values.v
@@ -112,7 +112,12 @@ Definition negate_real r := realNegate r
 Definition abs_real r := realAbs r
 Definition power_real b e := realPowInteger b e*)
 
+Definition print_endline (_ : string) : unit := tt.
+Definition prerr_endline (_ : string) : unit := tt.
+Definition prerr (_ : string) : unit := tt.
 Definition print_int (_ : string) (_ : Z) : unit := tt.
+Definition prerr_int (_ : string) (_ : Z) : unit := tt.
+Definition putchar (_ : Z) : unit := tt.
 
 (*
 Definition or_bool l r := (l || r)
-- 
cgit v1.2.3