src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version

--- a/src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version	Mon Dec 20 14:44:00 2010 +0100
+++ b/src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version	Mon Dec 20 15:19:15 2010 +0100
@@ -7,6 +7,9 @@
 if [ "$EXEC_SWIPL" = "" ]; then
   echo ""
 else
+  # FIXME does not allow spaces in $EXEC_SWIPL
+  # FIXME "expr match" not portable
+  # FIXME prefer $(...) in bash
   VERSION=`$EXEC_SWIPL --version`
   echo `expr match "$VERSION" 'SWI-Prolog version \([0-9\.]*\)'`
 fi