1 files changed, 1 insertions, 1 deletions
diff --git a/.project b/.project
index b05009933..adf143138 100644
--- a/.project
+++ b/.project
@@ -31,7 +31,7 @@
 				</dictionary>
 				<dictionary>
 					<key>org.eclipse.cdt.make.core.buildLocation</key>
-					<value>${workspace_loc:/cvc4/}</value>
+					<value>${workspace_loc/cvc4/}</value>
 				</dictionary>
 				<dictionary>
 					<key>org.eclipse.cdt.make.core.cleanBuildTarget</key>