From: Ahmed Irfan <ahmedirfan1983@gmail.com>
Date: Fri, 3 Apr 2015 15:11:45 +0000 (+0200)
Subject: Update README
X-Git-Tag: yosys-0.6~367^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=13e2e71ebefa584ab4800eac9eecc81f323ca6c1;p=yosys.git

Update README

corrected url
---

diff --git a/backends/btor/README b/backends/btor/README
index 4c78c5aa4..fcfe1482c 100644
--- a/backends/btor/README
+++ b/backends/btor/README
@@ -3,7 +3,7 @@ This is the Yosys BTOR backend.
 It is developed by Ahmed Irfan <irfan@fbk.eu> - Fondazione Bruno Kessler, Trento, Italy
 
 Master git repository for the BTOR backend:
-https://github.com/ahmedirfan1983/yosys/tree/btor
+https://github.com/ahmedirfan1983/yosys
 
 
 [[CITE]] BTOR: Bit-Precise Modelling of Word-Level Problems for Model Checking