summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--abstract.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/abstract.tex b/abstract.tex
index 28fce6a..cc06f09 100644
--- a/abstract.tex
+++ b/abstract.tex
@@ -11,5 +11,6 @@ and semi-automatically captured outputs.  Its implementation \psychic{}
 based on \klee{} is evaluated on patches automatically generated
 for toy programs in the \textsc{IntroClass} benchmark,
 showing promising preliminaries.
+\vfill
 \end{abstract}
 \thispagestyle{empty}