diff options
Diffstat (limited to 'DSL/Util.hs')
| -rw-r--r-- | DSL/Util.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DSL/Util.hs b/DSL/Util.hs index 44d272c..6affe75 100644 --- a/DSL/Util.hs +++ b/DSL/Util.hs @@ -45,5 +45,5 @@ buildProcTable :: [ProcSpec] -> Either String ProcTable buildProcTable ps = appendProcTable ps empty unreachable :: a -unreachable = error "this branch should be unreachable" +unreachable = error "This branch should be unreachable. If you can read this, something has gone EXTREMELY wrong." |