diff options
Diffstat (limited to 'Tools')
-rw-r--r-- | Tools/CodeGen/KrancScript.m | 2 |
1 files changed, 1 insertions, 1 deletions
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[ |