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