From b79440a21d404bcf0c2e34e83f1c04555342cfb9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 18 Apr 2018 21:13:24 -0700
Subject: [PATCH] add web assembly link

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 54804175d..447034a84 100644
--- a/README.md
+++ b/README.md
@@ -191,5 +191,4 @@ See [``examples/python``](examples/python) for examples.
 
 ### ``Web Assembly``
 
-[WebAssembly](https://github.com/cpitclaudel/z3.wasm)
-Web Assembly bindings are provided by Clément Pit-Claudel.
+[WebAssembly](https://github.com/cpitclaudel/z3.wasm) bindings are provided by Clément Pit-Claudel.