Add note about using wasm

mit-plv · Nov 24, 2023 · f6ed837 · f6ed837
1 parent de23876
commit f6ed837
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/fiat-html/main.js b/fiat-html/main.js
@@ -162,9 +162,9 @@ document.addEventListener('DOMContentLoaded', function() {
                 errorMessage += "<br>Unfortunately Chrome, Firefox, and the ECMAScript Standard don't support proper tail-call elimination for unfortunate <a href=\"https://stackoverflow.com/a/54721813/377022\">historical</a> <a href=\"https://medium.com/indigoag-eng/tail-call-optimization-in-the-wild-26a10e450c73\">reasons</a>.";
 
                 if (!isMacOrIOS) {
-                    errorMessage += "<br>Consider opening this page in <a href=\"https://www.apple.com/safari/\">Safari</a> on a Mac or iOS device instead.";
+                    errorMessage += "<br>Consider using WASM or opening this page in <a href=\"https://www.apple.com/safari/\">Safari</a> on a Mac or iOS device instead.";
                 } else {
-                    errorMessage += "<br>Consider opening this page in <a href=\"https://www.apple.com/safari/\">Safari</a> instead.";
+                    errorMessage += "<br>Consider using WASM or opening this page in <a href=\"https://www.apple.com/safari/\">Safari</a> instead.";
                 }
             }
         }