Skip to content

Commit

Permalink
Comment out unused code for clang
Browse files Browse the repository at this point in the history
Clang complains about type errors in this function, while gcc is
oblivious to them, as it does not type-check templates that never get
instantiated.
  • Loading branch information
kozdra committed Nov 17, 2022
1 parent 63b88d2 commit 931a782
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion crave
Submodule crave updated 1 files
+1 −1 metaSMT

0 comments on commit 931a782

Please sign in to comment.