Index: src/Common/ErrorObjects.h
===================================================================
--- src/Common/ErrorObjects.h	(revision f6e3e345e94a983a197c49451c099ac2783fca51)
+++ src/Common/ErrorObjects.h	(revision 9d1e3f75d320ba7456c59ec8700423ad2c448c0a)
@@ -35,5 +35,5 @@
 class SemanticErrorException : public std::exception {
   public:
-  	SemanticErrorException() = default;
+	SemanticErrorException() = default;
 	SemanticErrorException( CodeLocation location, std::string error );
 	~SemanticErrorException() throw() {}