Reduce margin of error

informalsystems · Aug 21, 2023 · eede704 · eede704
1 parent bc40dcc
commit eede704
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/quint/src/names/base.ts b/quint/src/names/base.ts
@@ -119,7 +119,7 @@ export function addNamespacesToDef(def: Definition, namespaces: string[]): Defin
       return def
     }
 
-    if (def.name.startsWith(namespace)) {
+    if (def.name.startsWith(`${namespace}::`)) {
       // If the namespace is already in the beginning of the name, don't add it again
       return def
     }