From f6ed8379f1be4f0840ecb63efc766c4c422d2fa3 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 23 Nov 2023 12:46:01 -0800
Subject: [PATCH] Add note about using wasm

---
 fiat-html/main.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/fiat-html/main.js b/fiat-html/main.js
index 26cf6fd37a4..b173b459c0c 100644
--- 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.";
                 }
             }
         }