fix CoCoSim specification library

NASA-SW-VnV · Oct 6, 2020 · dc0a106 · dc0a106
1 parent 2320380
commit dc0a106
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/libs/cocosimLibs.slx b/libs/cocosimLibs.slx
diff --git a/libs/contractLibs.slx b/libs/contractLibs.slx
diff --git a/scripts/install_cocosim_lib.m b/scripts/install_cocosim_lib.m
@@ -224,8 +224,9 @@ function copyCoCoFiles(force, cocosim_path)
             fprintf('copyfile failed:\n%s \n', MESSAGE);
         end
     end
-    %delete old cocosim_pp
+    %delete redundant files
     delete(fullfile(cocosim_path, 'src', 'frontEnd', 'pp', 'std_pp', 'cocosim_pp.m'));
+    delete(fullfile(cocosim_path, 'libs', 'contract', 'slblocks.m'));
 
     %add path the new folder
     addpath(genpath(cocosim_path));