Index: src/ResolvExpr/module.mk
===================================================================
--- src/ResolvExpr/module.mk	(revision 7c6492020eee75b2b4f942492675ee7c9a498b70)
+++ src/ResolvExpr/module.mk	(revision 5cb5f842b3a6b217c0d43c78383ba66bb7658282)
@@ -1,4 +1,4 @@
 SRC += ResolvExpr/AlternativeFinder.cc \
-      ResolvExpr/Alternative.cc \
+       ResolvExpr/Alternative.cc \
        ResolvExpr/Unify.cc \
        ResolvExpr/PtrsAssignable.cc \
@@ -16,3 +16,2 @@
        ResolvExpr/Occurs.cc \
        ResolvExpr/TypeEnvironment.cc
-