From 3e22966c1cae42b373027697035dbb8017b96ef1 Mon Sep 17 00:00:00 2001 From: Dylan McNamee Date: Sun, 27 Apr 2014 11:26:37 -0700 Subject: [PATCH] spelling in README --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index e39cbce6..686e5f35 100644 --- a/README.md +++ b/README.md @@ -37,7 +37,7 @@ interpreter in the Start menu. Cryptol currently depends on the [CVC4 SMT solver](http://cvc4.cs.nyu.edu/) to solve constraints during -typechecking, and as the default solver for the `:sat` and `:prove` +type checking, and as the default solver for the `:sat` and `:prove` commands. You can download CVC4 binaries for a variety of platforms from their [download page](http://cvc4.cs.nyu.edu/downloads/). @@ -154,7 +154,7 @@ send email to . If you plan to do development work on the Cryptol interpreter, please make a fork of the GitHub repository and send along pull requests. This makes it easier for us to track development and to -incorprate your changes. +incorporate your changes. ### Repository Structure