From f42e1a8adbf220bd03862bb08ca5103b6e1cde09 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 4 Nov 2019 20:36:17 +0000
Subject: Allow overriding the interpreter effects

This allows read_mem and read_reg effects to be handled by GDB
---
 src/value.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/value.ml')

diff --git a/src/value.ml b/src/value.ml
index 751c10d7..69023bc3 100644
--- a/src/value.ml
+++ b/src/value.ml
@@ -486,7 +486,7 @@ let value_undefined_vector = function
 let value_undefined_bitvector = function
   | [v] -> V_vector (Sail_lib.undefined_vector (coerce_int v, V_bit (Sail_lib.B0)))
   | _ -> failwith "value undefined_bitvector"
-       
+
 let value_read_ram = function
   | [v1; v2; v3; v4] -> mk_vector (Sail_lib.read_ram (coerce_int v1, coerce_int v2, coerce_bv v3, coerce_bv v4))
   | _ -> failwith "value read_ram"
@@ -751,5 +751,3 @@ let primops = ref
 
 let add_primop name impl =
   primops := StringMap.add name impl !primops
-  
-       
-- 
cgit v1.2.3