[fix another uncaught fail
Helmut Grohne <grohne@cs.uni-bonn.de>**20140204143307
 Ignore-this: e32d3f52bc6041088f5f6f88942850e2
] hunk ./src/Syntax/Specification.hs 15
+import Control.Monad.Error
hunk ./src/Syntax/Specification.hs 66
-getBinding :: (Monad m) => Specification -> Name -> m FunBind
+getBinding :: (Error e, MonadError e m) => Specification -> Name -> m FunBind
hunk ./src/Syntax/Specification.hs 70
-        Nothing -> fail $ "'" ++ (show n) ++ "'" 
+        Nothing -> throwError $ strMsg $ "'" ++ show n ++ "'"