cprover
error.h File Reference
#include <exception>
#include <sstream>
#include "location.h"
Include dependency graph for error.h:

Go to the source code of this file.

Classes

class  error_baset
 
class  error_streamt