Skip to content

Commit

Permalink
Fix: Missing config for test_ppx
Browse files Browse the repository at this point in the history
  • Loading branch information
lukstafi committed Apr 23, 2024
1 parent d5d6734 commit d8428eb
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 0 deletions.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,7 @@ _opam/
# Local configuration
ocannl_config
!test/ocannl_config
!test_ppx/ocannl_config
# Convenience for storing particular configurations, not used by OCANNL
ocannl_config-*

Expand Down
1 change: 1 addition & 0 deletions test_ppx/ocannl_config
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
randomness_lib=for_tests

0 comments on commit d8428eb

Please sign in to comment.