From 44850d32e227647813b44a8c97c4de57cd7a9978 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Sat, 12 Aug 2017 19:05:32 +0100
Subject: Resolve ambiguity between negation of integers and bools

---
 src/gen_lib/sail_values.lem | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/gen_lib')

diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem
index 38f7d512..49f37381 100644
--- a/src/gen_lib/sail_values.lem
+++ b/src/gen_lib/sail_values.lem
@@ -266,7 +266,7 @@ let hardware_quot (a:integer) (b:integer) : integer =
   if ((a<0) = (b<0)) then
     q  (* same sign -- result positive *)
   else
-    ~q (* different sign -- result negative *)
+    integerNegate q (* different sign -- result negative *)
 
 let quot_signed = hardware_quot
 
@@ -956,4 +956,3 @@ let diafp_to_dia reginfo = function
   | DIAFP_concrete v -> DIA_concrete_address (address_of_bitv v)
   | DIAFP_reg r -> DIA_register (regfp_to_reg reginfo r)
 end
-
-- 
cgit v1.2.3