omegalib/omega_lib/include/basic/omega_error.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#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