fix for unit tests

impermeable · Jan 2, 2023 · 3bbf54b · 3bbf54b
1 parent 167450c
commit 3bbf54b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/coq/serapi/util/SerapiCommandFactory.js b/src/coq/serapi/util/SerapiCommandFactory.js
@@ -72,7 +72,7 @@ export function createQueryVernacCommand(command) {
  * Partial method for vernac commands to execute the command
  * after a specific sentece
  * @param {String} command the vernac commmand to execute
- * @param {String} sentenceId the sentence id after which
+ * @param {Integer} sentenceId the sentence id after which
  * the command should execute
  * @return {string} the command
  */