From 6ea4cd40d8dadc1b6fbb590a07f712561ad65031 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=90=D0=BD=D0=BD=D0=B0=20=D0=A2=D0=B5=D1=80=D0=B5=D0=BD?= =?UTF-8?q?=D1=82=D1=8C=D0=B5=D0=B2=D0=B0?= Date: Tue, 18 Jun 2024 21:14:30 +0300 Subject: [PATCH] (#345) double ## fix --- libs/AutomatonToImage/src/AutomatonToImage.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libs/AutomatonToImage/src/AutomatonToImage.cpp b/libs/AutomatonToImage/src/AutomatonToImage.cpp index 1d2d99bd..77e86094 100644 --- 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(); }