From 6c8fe68d8e21d6479ff66c3ca1cc2d9ed57d0983 Mon Sep 17 00:00:00 2001
From: Andreas Stadelmeier <andi@paulus.haus>
Date: Fri, 11 Mar 2022 12:53:25 +0100
Subject: [PATCH] Use full optimized JS

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index d0b0c96..96c4fd6 100644
--- a/index.html
+++ b/index.html
@@ -22,7 +22,7 @@
       <div id="unify-output"></div>
   </div>
   <script type="text/javascript" src="highlight.min.js"></script>
-  <script type="text/javascript" src="target/scala-2.13/fj-typeinference-fastopt/main.js"></script>
+  <script type="text/javascript" src="target/scala-2.13/fj-typeinference-opt/main.js"></script>
   <br/>
   <p>Credit: the layout of this page was shamelessly stolen from <a href="https://github.com/LPTK/simple-algebraic-subtyping">the Simple-sub demo page</a>.</p>
   </body>