From f61e6abb352e233851ec78155bc8f51b702202f1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 29 Oct 2021 16:10:40 +0200
Subject: [PATCH] Update wasm.yml

---
 .github/workflows/wasm.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml
index 7892b35b7..2f8aed2b8 100644
--- a/.github/workflows/wasm.yml
+++ b/.github/workflows/wasm.yml
@@ -15,7 +15,7 @@ jobs:
     - name: Checkout code
       uses: actions/checkout@v2
 
-    - name: Import enscripten
+    - name: Import emscripten
       uses: mymindstorm/setup-emsdk@v9
       
     - name: Configure CMake and build