Format url -> texttt

UU-ComputerScience · Mar 18, 2013 · 671e64d · 671e64d
1 parent 90bcad3
commit 671e64d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/EHC/text/TopicJavaScriptIFL.cltex b/EHC/text/TopicJavaScriptIFL.cltex
@@ -773,7 +773,7 @@ We ran a benchmark between UHCJS, GHCJS, Fay and Native JavaScript and noticed
 that the code generated by UHCJS performs the worst by far. This is largely due
 to excessive memory allocation of objects and subsequent garbage collection.
 The full details of this benchmark can be found in our git
-repository\footnote{\url{https://github.com/UU-ComputerScience/uhc-js/tree/benchmark}}.
+repository\footnote{\texttt{https://github.com/UU-ComputerScience/uhc-js/tree/benchmark}}.
 
 Another recent attempt is Haste\cite{ekblad2012} by Anton Ekblad. It, too,
 builds on top of GHC, and it attempts to be easy to use and generate