QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Disable unused type warnings for type used inside of records #983

Merged
ghallak merged 3 commits from ghallak/490 into master 2023-11-27 18:12:25 +09:00
Conversation 4 Commits 3 Files Changed 5
+1
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 8edc922d9d - Show all commits
.gitignore
+1
View File
@@ -24,3 +24,4 @@ current_counterexample.eqc
test/contracts/test.aes
__pycache__
.docssite/docs/*.md
.vscode