From 4d4a6a89adfb1713c4c881f8b7173657f6b83f77 Mon Sep 17 00:00:00 2001 From: Koz Ross Date: Mon, 6 Nov 2017 14:00:44 +1300 Subject: [PATCH] Correcting bad spacing --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index bac6116..30913c2 100644 --- a/README.md +++ b/README.md @@ -807,7 +807,6 @@ libraries or compilers. it). [NCSA][39]. * [indent][315] - Formats C source code automatically to make it easier to read. Also converts from one style of source to another. [GPL-3.0+][41]. - * [SMACK][500] - Modular software verification toolchain and a self-contained software verifier. Currently only works with programs compiled using Clang. [MIT][11].