fixed error with coping pvs/prf files

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@7030 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

@CVC_checker/cvc_check.m

@@ -21,7 +21,7 @@ function [ check, seqs ] = cvc_check( object )
     waitbar(.10,box,'Running Proof');
 tic
     % run the cvc command
-[status, result] = system(['cvc3 ' filename ' +model']);
+[status, result] = system(['cvc3 ' filename ' +model'])
 toc
 % check return status for errors
 if (status ~= 0)

@PVS_checker/pvs_check.m

@@ -25,8 +25,8 @@ if error == 1
     return;
 elseif error == 2
     % copy pvs files over.
-    copyfile(fullfile(fileparts(which('TTdiag')),'PVS_theories','*.*'),pwd);
-
+    copyfile(fullfile(fileparts(which('TTdiag')),'PVS_theories','*.pvs'),pwd);
+    copyfile(fullfile(fileparts(which('TTdiag')),'PVS_theories','*.prf'),pwd);
 end