typo in libzip file name

kroening · kroening · commit bb88fb2549c7 · 2016-03-18T17:57:19.000Z
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@6528 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
diff --git a/src/Makefile b/src/Makefile
@@ -89,5 +89,5 @@ libzip-download:
 	@tar xfz libzip-1.1.2.tar.gz
 	@rm -Rf ../libzip
 	@mv libzip-1.1.2 ../libzip
-	@rm libzip-1.2.2.tar.gz
+	@rm libzip-1.1.2.tar.gz
 
