Skip to content

Commit

Permalink
Fix creduce install link
Browse files Browse the repository at this point in the history 
They seem to have renamed their main branch to master
  • Loading branch information
@Kriskras99 @emilio
Kriskras99 authored and emilio committed Aug 20, 2024
1 parent d71972a commit 7a4f04a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CONTRIBUTING.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -425,7 +425,7 @@ $ brew install creduce
$ # Etc...
```

Otherwise, follow [these instructions](https:/csmith-project/creduce/blob/main/INSTALL.md) for building and/or installing `creduce`.
Otherwise, follow [these instructions](https:/csmith-project/creduce/blob/master/INSTALL.md) for building and/or installing `creduce`.

Running `creduce` requires two things:

Expand Down

0 comments on commit 7a4f04a

Please sign in to comment.