diff -r 5c3ed9c919bb -r 8c90de3216f9 .pydevproject
--- a/.pydevproject	Thu Aug 04 12:54:02 2011 +0200
+++ b/.pydevproject	Thu Aug 04 13:08:04 2011 +0200
@@ -2,7 +2,7 @@
 <?eclipse-pydev version="1.0"?>
 
 <pydev_project>
-<pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">python_platform</pydev_property>
+<pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">platform_python</pydev_property>
 <pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.6</pydev_property>
 <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
 <path>/platform/src/ldt</path>