Change name of "path" variable #62
Description
"path" is a name commonly used in Alloy models. Can the variable "path" created by ALDB be renamed to something else?
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
"path" is a name commonly used in Alloy models. Can the variable "path" created by ALDB be renamed to something else?