diff --git a/package.json b/package.json index a5eadb44..8f4465ed 100644 --- a/package.json +++ b/package.json @@ -76,9 +76,9 @@ }, "config": { "swipl": { - "version": "9.3.13", - "commit": "d829bc57ed48f3856fcdbd8bb63cafa4b9599187", - "name": "V9.3.13" + "version": "9.3.14", + "commit": "61d52961bec4dac52e459d5ecdbd6e44a1fa0466", + "name": "V9.3.14" }, "emsdk": { "version": "3.1.70",