TheDude
/
echidna
mirror of https://github.com/crytic/echidna
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #114 from trailofbits/fix-threaded-flag

Browse Source 
Removed threaded flag
pull/117/head
Ben Perez 6 years ago committed by GitHub
parent bd618a4515 5535773f5c
commit 3d0f221708
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      package.yaml

2
package.yaml
Unescape View File

@ -4,7 +4,7 @@ author: JP Smith
version: 0.0.0.1
ghc-options: -Wall -fno-warn-orphans -O2 -threaded
ghc-options: -Wall -fno-warn-orphans -O2
dependencies:
- aeson

Write Preview
Loading…
Cancel
Save