From 7d45ca935b29ff7cae418446637be76f345693d7 Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Sat, 3 Jul 2021 17:00:52 +0200
Subject: [PATCH] Update extended abstract
---
publications/pxtp21/extended_abstract.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/publications/pxtp21/extended_abstract.tex b/publications/pxtp21/extended_abstract.tex
index e05c438..a2afec2 100644
--- a/publications/pxtp21/extended_abstract.tex
+++ b/publications/pxtp21/extended_abstract.tex
@@ -38,7 +38,7 @@ Pascal Fontaine
}
\def\titlerunning{Towards a Generic SMT Proof Format}
-\def\authorrunning{Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, and Pascal Fontaine}
+\def\authorrunning{Schurr, Fleury, Barbosa, and Fontaine}
\begin{document}
\maketitle
--
GitLab