From 0c4c75d13aad176fc664e159d2b0c48c77b41d27 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Thu, 14 May 2020 09:24:09 +0100
Subject: Various bugfixes and improvements for updated codegen

---
 lib/sail.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib')

diff --git a/lib/sail.h b/lib/sail.h
index 98ca3adb..0c9b18b5 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -74,7 +74,7 @@ bool UNDEFINED(bool)(const unit);
  */
 typedef char *sail_string;
 
-SAIL_BUILTIN_TYPE(sail_string);
+SAIL_BUILTIN_TYPE(sail_string)
 
 void dec_str(sail_string *str, const mpz_t n);
 void hex_str(sail_string *str, const mpz_t n);
@@ -99,7 +99,7 @@ uint64_t sail_int_get_ui(const sail_int);
 
 #define SAIL_INT_FUNCTION(fname, rtype, ...) void fname(rtype*, __VA_ARGS__)
 
-SAIL_BUILTIN_TYPE(sail_int);
+SAIL_BUILTIN_TYPE(sail_int)
 
 void CREATE_OF(sail_int, mach_int)(sail_int *, const mach_int);
 void RECREATE_OF(sail_int, mach_int)(sail_int *, const mach_int);
@@ -199,7 +199,7 @@ typedef struct {
 typedef uint64_t mach_bits;
 typedef lbits sail_bits;
 
-SAIL_BUILTIN_TYPE(lbits);
+SAIL_BUILTIN_TYPE(lbits)
 
 void CREATE_OF(lbits, fbits)(lbits *,
 			     const fbits op,
@@ -361,7 +361,7 @@ sbits sub_sbits(const sbits op1, const sbits op2);
 
 typedef mpq_t real;
 
-SAIL_BUILTIN_TYPE(real);
+SAIL_BUILTIN_TYPE(real)
 
 void CREATE_OF(real, sail_string)(real *rop, const sail_string op);
 void CONVERT_OF(real, sail_string)(real *rop, const sail_string op);
-- 
cgit v1.2.3