Update README.md

njit-jerse · Aug 24, 2023 · ee4c32a · ee4c32a
1 parent 4f03e50
commit ee4c32a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # Specimin: the specification slicer
 
-**Note: Specimin is a work in progress, and is not yet functional. Please check
+**Note: Specimin is a work in progress, and is not yet fully functional. Please check
 back later or contact the authors if you want to use the tool.**
 
 This document describes **Specimin** (SPECIfication MINimizer).