fix js bindings

cryspen · Nov 21, 2023 · 2171f67 · 2171f67
1 parent 7eaf912
commit 2171f67
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/js/api.js b/js/api.js
@@ -217,9 +217,9 @@ var HaclWasm = (function() {
   // We defined a few WASM-specific "compile-time macros".
   var my_imports = {
     EverCrypt_TargetConfig: (mem) => ({
-      hacl_can_compile_vale: 0,
-      hacl_can_compile_vec128: 0,
-      hacl_can_compile_vec256: 0,
+      HACL_CAN_COMPILE_VALE: 0,
+      HACL_CAN_COMPILE_VEC128: 0,
+      HACL_CAN_COMPILE_VEC256: 0,
       has_vec128_not_avx: () => false,
       has_vec256_not_avx2: () => false,
     }),