token_not_found defined twice (except for namespace)

XMLWordPrintable

    • Type: Sub-task
    • Resolution: Fixed
    • Priority: Major
    • None
    • Affects Version/s: None
    • Component/s: frontend
    • Security Level: Public (Visbile by non-authn users.)
    • None

      The token_not_found exception is defined in file_status.hpp in the global namespace and in storm_exception.hpp in the storm namespace. Review

            Assignee:
            Francesco Giacomini
            Reporter:
            Francesco Giacomini
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: