From a640e712e9f1b175017f275a106a8275789deeaf Mon Sep 17 00:00:00 2001 From: Matthew Dawson Date: Tue, 19 Jun 2012 14:27:02 +0000 Subject: [PATCH] Remove extra debug output. Some debug output was left enabled. Silence it. git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@8564 57e6efec-57d4-0310-aeb1-a6c144bb1a8b --- @PVS_checker/pvs_check_for_imports.m | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/@PVS_checker/pvs_check_for_imports.m b/@PVS_checker/pvs_check_for_imports.m index 99192a4..fa31e00 100644 --- a/@PVS_checker/pvs_check_for_imports.m +++ b/@PVS_checker/pvs_check_for_imports.m @@ -68,7 +68,7 @@ for k=1:size(hashtable,2) end string_parts = s; - functions = regexp(string_parts,hashtable{k}(1),'once') + functions = regexp(string_parts,hashtable{k}(1),'once'); if ~isempty(functions{1}) if (~any(ismember(found,hashtable{k}(1)))) string = [string 'IMPORTING ' char(hashtable{k}(2)) sprintf('\n')]; -- GitLab