Skip to content

Commit 37723cc

Browse files
committedFeb 4, 2025·
add @peterschrammel as code owner to /src/solvers/floatbv
1 parent c66ffbe commit 37723cc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed
 

Diff for: ‎CODEOWNERS

+1-1
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@
2424
/src/langapi/ @kroening @tautschnig @peterschrammel
2525
/src/xmllang/ @kroening @tautschnig @peterschrammel
2626
/src/solvers/flattening @martin-cs @kroening @tautschnig @peterschrammel
27-
/src/solvers/floatbv @martin-cs @kroening
27+
/src/solvers/floatbv @martin-cs @kroening @peterschrammel
2828
/src/solvers/miniBDD @tautschnig @kroening
2929
/src/solvers/prop @martin-cs @kroening @tautschnig @peterschrammel
3030
/src/solvers/sat @martin-cs @kroening @tautschnig @peterschrammel

0 commit comments

Comments
 (0)
Please sign in to comment.