removed a duplicate URL

Author: JonathanAldrich

background-reading.txt

@@ -8,7 +8,7 @@ Formal capabilities
 
 Core calculi
 	http://lampwww.epfl.ch/~amin/dot/fpdt.pdf
-	http://www.cs.uwm.edu/~boyland/fool2012/papers/fool2012_submission_3.pdfhttp://www.cs.uwm.edu/~boyland/fool2012/papers/fool2012_submission_3.pdf
+	http://www.cs.uwm.edu/~boyland/fool2012/papers/fool2012_submission_3.pdf
 	http://www.cs.cornell.edu/~ross/publications/shapes/shapes-pldi14.pdf
 
 Presentations