(#345) double ## fix

OnionGrief · Jun 18, 2024 · 6ea4cd4 · 6ea4cd4
1 parent 833cccd
commit 6ea4cd4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libs/AutomatonToImage/src/AutomatonToImage.cpp b/libs/AutomatonToImage/src/AutomatonToImage.cpp
@@ -33,7 +33,7 @@ void write_to_file(const string& file_name, const string& content) {
 	ofstream file;
 	file.open(file_name, ofstream::trunc);
 	if (file.is_open())
-		file << replace_before_dot2tex(content);
+		file << content;
 	file.close();
 }