diff options
Diffstat (limited to 'omegalib/omega/include/basic/omega_error.h')
| -rw-r--r-- | omegalib/omega/include/basic/omega_error.h | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/omegalib/omega/include/basic/omega_error.h b/omegalib/omega/include/basic/omega_error.h deleted file mode 100644 index e342efb..0000000 --- a/omegalib/omega/include/basic/omega_error.h +++ /dev/null @@ -1,14 +0,0 @@ -#ifndef OMEGA_ERROR_H -#define OMEGA_ERROR_H - -namespace omega { - -struct presburger_error: public std::runtime_error { - presburger_error(const std::string &msg): std::runtime_error("presburger error: " + msg) {} -}; - - - -} -#endif - |