From 03e650bc57fc7f388600573c1ba828f11d4f42b1 Mon Sep 17 00:00:00 2001 From: tabarbe Date: Fri, 27 Aug 2010 16:00:08 +0000 Subject: Boogie: Basetypes port 3/3: Committing changed references Z3api.csproj shouldn't get in the way this time 'round. --- Source/AIFramework/AIFramework.csproj | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Source/AIFramework') diff --git a/Source/AIFramework/AIFramework.csproj b/Source/AIFramework/AIFramework.csproj index 224be513..1a10628c 100644 --- a/Source/AIFramework/AIFramework.csproj +++ b/Source/AIFramework/AIFramework.csproj @@ -92,8 +92,8 @@ - - {0C692837-77EC-415F-BF04-395E3ED06E9A} + + {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0} Basetypes -- cgit v1.2.3