Skip to content
Snippets Groups Projects
Commit b07c136f authored by Ike Mulder's avatar Ike Mulder
Browse files

Fix proof breakage by not importing String module.

parent ec012789
No related branches found
No related tags found
1 merge request!22Fix proof breakage by not importing String module, update Iris
Pipeline #107149 passed
Stage: build
Stage: supplement