1 files changed, 2 insertions, 0 deletions
diff --git a/Typecheck.java b/Typecheck.java
index d153f7a..098defe 100644
--- a/Typecheck.java
+++ b/Typecheck.java
@@ -38,6 +38,8 @@ public class Typecheck {
                 System.out.println("Program type checked successfully");
             } catch (TypecheckException e) {
                 System.out.println("Type error");
+                MinimalLogger.severe(String.format("Reason: %s",
+                                                   e.toString()));
             }
 
         }