Skip to content

Commit

Permalink
bug(ltl): Fix wrong package in cabal.project file
Browse files Browse the repository at this point in the history
  • Loading branch information
symbiont-daniel-gustafsson committed May 4, 2021
1 parent 53cb5d3 commit 0e81bb3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/ltl/cabal.project
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ reject-unconstrained-dependencies: all

constraints: QuickCheck +old-random

package ldfi
package ltl
ghc-options: -Wall

allow-older: *
Expand Down

0 comments on commit 0e81bb3

Please sign in to comment.