From 9aeff3d52b7daa607241e5da73b0e22c1f8c470e Mon Sep 17 00:00:00 2001
From: Colin Eles <elesc@mcmaster.ca>
Date: Wed, 9 Mar 2011 14:34:44 +0000
Subject: [PATCH] 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 | 2 +-
 @PVS_checker/pvs_check.m | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/@CVC_checker/cvc_check.m b/@CVC_checker/cvc_check.m
index 55472cc..7cc2e10 100644
--- a/@CVC_checker/cvc_check.m
+++ b/@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)
diff --git a/@PVS_checker/pvs_check.m b/@PVS_checker/pvs_check.m
index f835410..0833d35 100644
--- a/@PVS_checker/pvs_check.m
+++ b/@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
 
 
-- 
GitLab