From da1010f84bf6d224cca629d8d44072f144e3bf7e Mon Sep 17 00:00:00 2001
From: Samo Penic <samo.penic@gmail.com>
Date: Tue, 13 Nov 2018 20:13:35 +0000
Subject: [PATCH] In formatting, space is always added after numerical values.
---
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