From dfa5524b050db3c881a0620db8ffb9d1f25ed16b Mon Sep 17 00:00:00 2001
From: Richard Millet <richard.millet@berkeley.edu>
Date: Thu, 30 Apr 2009 22:31:11 +0000
Subject: [PATCH] CSPACE-84: Removing dead tree from new source structure.

-- 
2.47.3