From 02975528821da68fd2a015bbb3b065df658b2e5d Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 4 Sep 2014 17:21:44 +0200
Subject: Refine overloading resolution with respect to vectors and ranges Fix
 a few other bugs as well

---
 src/test/test3.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/test')

diff --git a/src/test/test3.sail b/src/test/test3.sail
index 98ebb2d6..5e9ba2df 100644
--- a/src/test/test3.sail
+++ b/src/test/test3.sail
@@ -48,7 +48,7 @@ function nat main _ = {
 
   (* extern calls *)
   dummy_reg := 3 + 39;
-  dummy_reg := (deinfix +)(5, 37);
+  (*dummy_reg := (deinfix +)(5, 37);*)
   (* casts and external calls *)
   dummy_reg := 0b01 + 0b01;
   dummy_reg2 := 0b00000001;
-- 
cgit v1.2.3