1 files changed, 0 insertions, 15 deletions
diff --git a/report/auto/references.el b/report/auto/references.el
deleted file mode 100644
index a16e920..0000000
--- a/report/auto/references.el
+++ /dev/null
@@ -1,15 +0,0 @@
-(TeX-add-style-hook
- "references"
- (lambda ()
-   (LaTeX-add-bibitems
-    "10.1007/3-540-60117-1_16"
-    "Chen:2013:TCF:2499370.2462173"
-    "Lidbury:2015:MCF:2813885.2737986"
-    "Godefroid:2008:GWF:1379022.1375607"
-    "Le:2015:FDC:2858965.2814319"
-    "Yang:2011:FUB:1993316.1993532"
-    "Miller:1990:ESR:96267.96279"
-    "laeufer2018rfuzz"
-    "braibant2013formal"))
- :bibtex)
-