diff --git a/@PVS_checker/pvs_check_for_imports.m b/@PVS_checker/pvs_check_for_imports.m
index 99192a40c4b745099013b4a7a12b1f167e9ecf3b..fa31e00f691619c29b4241e9be9273956bcc75c8 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')];