Re: branching updates

[John Darrington]

On Thu, Oct 09, 2008 at 11:08:56PM -0700, Ben Pfaff wrote:
     
     After that, I merged the changes from stable into master and
     updated master.
     
     Unfortunately, master doesn't build now:
                    ../src/language/tests/check-model.q:24:27: error: 
model-checker.h: No such file or directory
     John, you moved some model-checker files around, is this related?

That seems very likely.  I'll have a look at it.

J'

-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://pgp.mit.edu or any PGP keyserver for public key.

signature.asc
Description: Digital signature