update 3b fixed

[ar1516.git] / a2 / pre.tex

diff --git a/a2/pre.tex b/a2/pre.tex
index b9325ec..37f6b7e 100644 (file)
--- a/a2/pre.tex
+++ b/a2/pre.tex
@@ -14,6 +14,8 @@
 
 \lstset{keepspaces=true,captionpos=b,basicstyle=\ttfamily}
 
+\CompileMatrices%
+
 \author{Mart Lubbers (s4109503)}
 \title{Automated reasoning Assignment 2} 
 \date{\today}