From 42a1926cbb14a44dbbb7e25ff2d3afda806f5502 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 26 Jul 2019 15:48:07 -0700 Subject: [PATCH] update readme Signed-off-by: Nikolaj Bjorner --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 060bb9d5a..6cbeb4f59 100644 --- a/README.md +++ b/README.md @@ -201,7 +201,7 @@ See [``examples/python``](examples/python) for examples. ## Resources -* Default input format is [SMTLIB2](/http://smtlib.cs.uiowa.edu) +* Default input format is [SMTLIB2](http://smtlib.cs.uiowa.edu) * Other native foreign function interfaces: * C