Skip to content

Commit

Permalink
Chore: Updating ProofSystem sha
Browse files Browse the repository at this point in the history
  • Loading branch information
@henriqueaklein
henriqueaklein committed Oct 24, 2024
1 parent 727c381 commit 616846c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ProofSystem
Submodule ProofSystem updated 3 files
+33 −8 CMakeLists.txt
+69 −0 cmake/functions.cmake
+3 −1 src/CMakeLists.txt

0 comments on commit 616846c

Please sign in to comment.