diff options
Diffstat (limited to 'src/benchmark.py')
| -rw-r--r-- | src/benchmark.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/benchmark.py b/src/benchmark.py index 94c10aa..f4fd49f 100644 --- a/src/benchmark.py +++ b/src/benchmark.py @@ -852,6 +852,7 @@ class Benchmark: fname = os.path.join(sumdir, ".".join([self.name, filepostfix, "tex"])) with open(fname, "w") as f: print("\\documentclass{standalone}", file=f) + print("\\usepackage{booktabs}", file=f) print("\\usepackage{xcolor}", file=f) print("\\begin{document}", file=f) print("\\begin{tabular}{|", f"{'c|'*nperm_fields}", f"{'c'*nentries}|"*nallocators, "}", file=f) |