Record issue

freespek · Apr 19, 2024 · 30a1b6a · 30a1b6a
1 parent d54a95a
commit 30a1b6a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/solarkraft/src/verify.ts b/solarkraft/src/verify.ts
@@ -11,7 +11,7 @@ import { spawnSync } from 'child_process'
 import { existsSync } from 'node:fs'
 import path from 'node:path'
 
-// TODO: fix hardcoded path to Apalache
+// TODO(#34): fix hardcoded path to Apalache
 const APALACHE_DIST = '/opt/apalache'
 const APALACHE_BIN = path.join(APALACHE_DIST, 'bin', 'apalache-mc')