Browse files

Tweak the text

  • Loading branch information...
1 parent 62c13e4 commit 0f2640ecc801418ba88b5cf14dff7caf20817ab0 @sid0 committed Mar 25, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 doc/related.tex
@@ -17,7 +17,7 @@ \section{Related Work}
solvers) through the C API. However, we do not consider
this to be true integration because it doesn't actually simplify the job
of the programmer and, as noted in Section~\ref{sec:motiv}, it
-requires the user to know the internals of the solver.
+requires her to deal with the internals of the solver.
The integration of Scala with Z3~\cite{scalaz3} is one of the
most complete implementations available today. It provides support for adding

0 comments on commit 0f2640e

Please sign in to comment.