From c94fd1bdd3f09339e2d4465398414c1b948b1aa3 Mon Sep 17 00:00:00 2001
From: azidar
Date: Mon, 25 Jan 2016 15:23:48 -0800
Subject: Fixed width inference bug for muxes

---
 src/main/stanza/passes.stanza | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/stanza/passes.stanza b/src/main/stanza/passes.stanza
index 3f2417f2..f0ec188d 100644
--- a/src/main/stanza/passes.stanza
+++ b/src/main/stanza/passes.stanza
@@ -697,7 +697,7 @@ defn infer-types (c:Circuit) -> Circuit :
             (e:WSubIndex) : WSubIndex(exp(e),value(e),sub-type(type(exp(e))),gender(e))
             (e:WSubAccess) : WSubAccess(exp(e),index(e),sub-type(type(exp(e))),gender(e))
             (e:DoPrim) : set-primop-type(e)
-            (e:Mux) : Mux(cond(e),tval(e),fval(e),mux-type-and-widths(tval(e),tval(e)))
+            (e:Mux) : Mux(cond(e),tval(e),fval(e),mux-type-and-widths(tval(e),fval(e)))
             (e:UIntValue|SIntValue) : e
       defn infer-types-s (s:Stmt) -> Stmt :
          match(s) :
-- 
cgit v1.2.3