From 45122ed56e57a8b9d3b302bb77e2e5c640474a19 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Fri, 11 Nov 2011 17:56:36 +0000
Subject: [PATCH] missing space...

---
 cp-demo/ACMDLExamples.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cp-demo/ACMDLExamples.scala b/cp-demo/ACMDLExamples.scala
index 1d3a78f1f..1a095275d 100644
--- a/cp-demo/ACMDLExamples.scala
+++ b/cp-demo/ACMDLExamples.scala
@@ -3,7 +3,7 @@ import cp.Terms._
 import cp.LTrees._
 
 // This file contains examples from the paper:
-//     A.S. Köksal, V. Kuncak, P.Suter, "Constraints as Control", POPL 2012
+//     A.S. Köksal, V. Kuncak, P. Suter, "Constraints as Control", POPL 2012
 //   as well as some more.
 // The file should be compiled and run with Scala 2.9+ along with the Kaplan
 // plugin.
-- 
GitLab