summaryrefslogtreecommitdiff
path: root/src/Witness_complex/example
diff options
context:
space:
mode:
Diffstat (limited to 'src/Witness_complex/example')
-rw-r--r--src/Witness_complex/example/witness_complex_from_wl_matrix.cpp12
1 files changed, 0 insertions, 12 deletions
diff --git a/src/Witness_complex/example/witness_complex_from_wl_matrix.cpp b/src/Witness_complex/example/witness_complex_from_wl_matrix.cpp
index 2fec499c..614bb945 100644
--- a/src/Witness_complex/example/witness_complex_from_wl_matrix.cpp
+++ b/src/Witness_complex/example/witness_complex_from_wl_matrix.cpp
@@ -140,18 +140,6 @@ int main (int argc, char * const argv[])
end = clock();
std::cout << "Howdy world! The process took "
<< (double)(end-start)/CLOCKS_PER_SEC << " s. \n";
- /*
- char buffer[100];
- int i = sprintf(buffer,"%s_%s_result.txt",argv[1],argv[2]);
- if (i >= 0)
- {
- std::string out_file = (std::string)buffer;
- std::ofstream ofs (out_file, std::ofstream::out);
- witnessComplex.st_to_file(ofs);
- ofs.close();
- }
- */
-
out_file = "output/"+file_name+"_"+argv[2]+".stree";
std::ofstream ofs (out_file, std::ofstream::out);
witnessComplex.st_to_file(ofs);