Skip to content

Commit f3cf151

Browse files
committed
z3.cabal: Add CPP to other extensions
Follows: eb76353ff75 ("Fix compatibility with base 4.11 due to SMP")
1 parent f64e1d1 commit f3cf151

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

z3.cabal

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,8 @@ Library
6767
ForeignFunctionInterface
6868
MultiParamTypeClasses
6969

70-
Other-extensions: DeriveDataTypeable
70+
Other-extensions: CPP
71+
DeriveDataTypeable
7172
EmptyDataDecls
7273
GeneralizedNewtypeDeriving
7374
PatternGuards

0 commit comments

Comments
 (0)