fix tabs

Alex Gryzlov · Alex Gryzlov · commit b23be09480f7 · 2017-07-25T15:00:57.000+03:00
diff --git a/src/Makefile b/src/Makefile
@@ -19,8 +19,8 @@ LIDR_FILES := Preface.lidr \
 	Tactics.lidr \
 	Logic.lidr \
 	IndProp.lidr \
-        Maps.lidr \
-        ProofObjects.lidr
+	Maps.lidr \
+	ProofObjects.lidr
 # TODO: Add more chapters, in order, here.
 
 
