From 021bde81ca88f3c1574172396c983f0ffdda8309 Mon Sep 17 00:00:00 2001
From: Bert Burgemeister <trebbu@googlemail.com>
Date: Wed, 6 Jun 2012 18:00:30 +0200
Subject: [PATCH] Fix syntax of logical pathnames

---
 clqr-input-output.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/clqr-input-output.tex b/clqr-input-output.tex
index 88511f6..cd63573 100644
--- a/clqr-input-output.tex
+++ b/clqr-input-output.tex
@@ -1332,7 +1332,8 @@
     \retval{Logical pathname} of \VAR{logical-path}.
     Logical pathnames are represented as all-uppercase
     \LIT{\#P"}%
-    \Op{\VAR{host}\LIT{:}}\Op{\LIT{:}}%
+    \Op{\VAR{host}\LIT{:}}%
+    \Op{\LIT{;}}%
     \Goos{\xorGOO{%
         \Goop{\VAR{dir}\XOR\LIT{*}}\\
         \LIT{**}}{\}}\LIT{;}}%
-- 
2.11.4.GIT