Tactics: delete trailing whitespace

yurrriq · yurrriq · commit 5ee33976faa6 · 2017-07-20T03:49:42.000-05:00
diff --git a/src/Tactics.lidr b/src/Tactics.lidr
@@ -1222,4 +1222,4 @@ Finally, prove a theorem \idr{existsb_existsb'} stating that \idr{existsb'} and
 
 > -- FILL IN HERE
 
-$\square$
+$\square$

Original file line number	Diff line number	Diff line change
`@@ -1222,4 +1222,4 @@ Finally, prove a theorem \idr{existsb_existsb'} stating that \idr{existsb'} and`
`1222`	`1222`
`1223`	`1223`	`> -- FILL IN HERE`
`1224`	`1224`
`1225`		`-$\square$`
	`1225`	`+$\square$`