Index: src/ResolvExpr/module.mk
===================================================================
--- src/ResolvExpr/module.mk	(revision 7c6492020eee75b2b4f942492675ee7c9a498b70)
+++ src/ResolvExpr/module.mk	(revision 00cc023285120a85a7e80e417220f36483ebd413)
@@ -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
-