Move cached string to the end of the message

I think it reads better this way
mit-plv · Nov 21, 2023 · b5447a2 · b5447a2
1 parent 4eebf31
commit b5447a2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/fiat-html/main.js b/fiat-html/main.js
@@ -177,11 +177,11 @@ document.addEventListener('DOMContentLoaded', function() {
         const cachedString = cached ? ` (cached on ${result.timestamp}${extraCachedString})` : '';
         if (result.success) {
             clearOutput();
-            updateStatus(`Synthesis${cachedString} completed in ${result.time} seconds`);
+            updateStatus(`Synthesis completed in ${result.time} seconds${cachedString}`);
             handleSynthesisResultData(result.result);
         } else {
             handleException(result.result);
-            updateStatus(`Synthesis${cachedString} failed in ${result.time} seconds`);
+            updateStatus(`Synthesis failed in ${result.time} seconds${cachedString}`);
         }
     }