From d44d3f8f1a15f2b15ba338a733ff87a83ecba1ac Mon Sep 17 00:00:00 2001
From: Albert Magyar
Date: Mon, 24 Feb 2020 16:48:34 -0700
Subject: [spec] clarify that div-by-zero is undefined (#1409)

---
 spec/spec.pdf | Bin 275420 -> 275480 bytes
 spec/spec.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/spec.pdf b/spec/spec.pdf
index d39d342d..b60c3cb7 100644
Binary files a/spec/spec.pdf and b/spec/spec.pdf differ
diff --git a/spec/spec.tex b/spec/spec.tex
index 361b435f..9aa1e6b4 100644
--- a/spec/spec.tex
+++ b/spec/spec.tex
@@ -1285,7 +1285,7 @@ div & (num,den) & () & (UInt,UInt) & UInt & w\ts{num}\\
 \end{tabular}
 }}
 \end{figure}
-The divide operation divides \vv{num} by \vv{den}, truncating the fractional portion of the result. This is equivalent to rounding the result towards zero.
+The divide operation divides \vv{num} by \vv{den}, truncating the fractional portion of the result. This is equivalent to rounding the result towards zero. The result of a division where \vv{den} is zero is undefined.
 
 \subsection{Modulus Operation}
 
-- 
cgit v1.2.3