Commits

Nadia Polikarpova  committed df526b1 Draft

Minor cleanup.

  • Participants
  • Parent commits b72149f

Comments (0)

Files changed (1)

 
 The package also provides a language infrastructure library, which contains a Boogie AST, parser, type checker, and pretty-printer.
 Running the above install command will install the library into your system.
-To install the package run (from the top-level source code directory):
 After that you can import modules from the package into your source code, e.g. {{{import Language.Boogie.AST}}}.
 If you would like to install the library without building the Boogaloo executable, add a {{{-boogaloo}}} flag:
 {{{
 cabal install --flags="-boogaloo"
 }}}
 
-In order to build a {{{boogaloo-tests}}} executable, which tests various parts of the library, add a {{{-tests}}} flag:
+In order to also build a {{{boogaloo-tests}}} executable, which tests various parts of the library, add a {{{-tests}}} flag:
 {{{
 cabal install --flags="tests"
 }}}