From e8d6264e6cc2cb055dea30f9498fdcf4e771ebbc Mon Sep 17 00:00:00 2001
From: Samo Penic <samo.penic@gmail.com>
Date: Thu, 15 Nov 2018 11:30:44 +0000
Subject: [PATCH] Merge branch 'master' of https://git.penic.eu/r/havoc/berki-parse
---
aoi_gen/Problem.py | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/aoi_gen/Problem.py b/aoi_gen/Problem.py
index 70e5ef0..ee70873 100644
--- a/aoi_gen/Problem.py
+++ b/aoi_gen/Problem.py
@@ -151,7 +151,7 @@
def substitute_variables(self, text):
for key, var in self.varDict.items():
- text = re.sub("\/\*\/" + key + "\/\*\/", var.format_without_dollar(), text)
+ text = re.sub("\/\*\/" + key + "\/\*\/", var.format_as_tex(dollar=""), text)
return text
def substitute_octave(self, text):
--
Gitblit v1.8.0