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.pdf | Bin 245847 -> 245788 bytes
 spec/spec.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/spec.pdf b/spec/spec.pdf
index 1c324e3d..4149c9a3 100644
Binary files a/spec/spec.pdf and b/spec/spec.pdf differ
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