From 03dc422cb2f2cb7c51bf202774c26e95bfb665ea Mon Sep 17 00:00:00 2001
From: Andrew Miranti <andrew.h.miranti@gmail.com>
Date: Sun, 25 Aug 2019 18:56:02 -0500
Subject: [PATCH] Update for K/KItem disambiguation

---
 decoder.k | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/decoder.k b/decoder.k
index baaee9b..f63a3d8 100644
--- a/decoder.k
+++ b/decoder.k
@@ -1322,7 +1322,7 @@ module DECODER
 
   syntax String ::= PrintHexWithWidth(Int, Int) [function]
   
-  syntax K ::= ExtendToWidth(Int, Int, Int) [function]// Initial, Width, Sign (1=Extend with F, 0 = Extend with 0)
+  syntax KItem ::= ExtendToWidth(Int, Int, Int) [function]// Initial, Width, Sign (1=Extend with F, 0 = Extend with 0)
   rule PrintHexWithWidth(V, W) => "-" +String PrintHexWithWidth(0 -Int V, W) requires V <Int 0
   rule PrintHexWithWidth(V, _) => "0x" +String Base2String(V, 16)  requires V >=Int 0
 
@@ -1746,7 +1746,7 @@ module DECODER
        <REG7> R </REG7>
        requires VIS =/=K SUPPRESSED
 
-  syntax K ::= MakeRELBR(K, K) [strict]
+  syntax K ::= MakeRELBR(KItem, KItem) [strict]
 
   rule AppendOperand(MakeRELBR(W:Int, V:String) => mi(64, String2Base(V, 16)))
 
-- 
GitLab