diff --git a/ReadMe.md b/ReadMe.md index dde95b11e7793458e0fc10343f5cbc0365edc621..814f039c6a0dbde6c851cecf3f8023e1324aec15 100644 --- a/ReadMe.md +++ b/ReadMe.md @@ -1,3 +1,3 @@ # Sampling-Based Abstractions -This repository has been moved permanently to (https://github.com/LAVA-LAB/DynAbs). Please visit this page to access the repository. \ No newline at end of file +This repository has been moved permanently to [https://github.com/LAVA-LAB/DynAbs](https://github.com/LAVA-LAB/DynAbs). Please visit this page to access the repository. \ No newline at end of file