From 5f76f34607d47fdfd4db03d557ae9b66b410242d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 19 Aug 2015 10:59:09 +0200
Subject: [PATCH] * doc/tl/tl.bib: Properly quote PSL.

---
 doc/tl/tl.bib | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/tl/tl.bib b/doc/tl/tl.bib
index 7ccab7f74..34b1d2ecf 100644
--- a/doc/tl/tl.bib
+++ b/doc/tl/tl.bib
@@ -1,4 +1,3 @@
-
 @InProceedings{	  babiak.12.tacas,
   author	= {Thom{\'a}{\v{s}} Babiak and Mojm{\'i}r
 		  K{\v{r}}et{\'i}nsk{\'y} and Vojt{\v{e}}ch {\v{R}e}eh{\'a}k
@@ -73,7 +72,7 @@
 		  Circuits and Systems},
   number	= 10,
   pages		= {1737--1750},
-  title		= {Symbolic Compilation of PSL},
+  title		= {Symbolic Compilation of {PSL}},
   volume	= 27,
   year		= 2008,
   date		= {2009-03-20},