From 821a96dcd9f29cb4ed9fd3953a9fe6713d56e1c5 Mon Sep 17 00:00:00 2001
From: Ian Hinder <ian.hinder@aei.mpg.de>
Date: Sun, 29 Jan 2012 23:53:17 -0600
Subject: KrancScript.m: Make script processing errors fatal

---
 Tools/CodeGen/KrancScript.m | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Tools')

diff --git a/Tools/CodeGen/KrancScript.m b/Tools/CodeGen/KrancScript.m
index 6847c84..6ba2536 100644
--- a/Tools/CodeGen/KrancScript.m
+++ b/Tools/CodeGen/KrancScript.m
@@ -48,7 +48,7 @@ process[h_[args___]] :=
   Module[
     {},
     Print["No handler for ", h@@Map[ToString[Head[#]]&,{args}]];
-    h[args]];
+    ThrowError["Failed to parse script"]];
 
 process[thorn:"thorn"[content___]] :=
   Module[
-- 
cgit v1.2.3