From e4552dcbc844b00e7e4799c882eb00a8be165e9f Mon Sep 17 00:00:00 2001
From: azidar
Date: Thu, 23 Jul 2015 18:03:08 -0700
Subject: Updated spec

---
 spec/spec.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'spec/spec.tex')

diff --git a/spec/spec.tex b/spec/spec.tex
index f30ba22a..3dc1716e 100644
--- a/spec/spec.tex
+++ b/spec/spec.tex
@@ -462,7 +462,7 @@ For a connection to be legal, the types of the two expressions must match exactl
 
 However, the widths of the types do not need to be equivalent.
 If the {\em output} expression has a smaller width than the {\em input} expression, the {\em output} is padded according to its type.
-If the {\em output} expression has a larger width than the {\em input} expression, the lower bits of the {\em output} are extracted and assigned to the {\em input}.
+If the {\em output} expression has a larger width than the {\em input} expression, this triggers an error.
 
 If the {\em input} width is unknown, it is inferred to be the width of the largest {\em output} that it is connected to.
 If the {\em output} width is unknown, it cannot inferred from this connection.
-- 
cgit v1.2.3

