Fix argument type in TLA+ build script

XMLWordPrintableJSON

    • Replication
    • Fully Compatible
    • ALL
    • Repl 2025-10-13
    • 200
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      The buildscript uses the wrong argument type when constructing a generic_program instance, it needs to use a List[str] instead of str.

            Assignee:
            Myles Hathcock (Inactive)
            Reporter:
            Myles Hathcock (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: