comparison src/elab_print.sig @ 1998:cc7e5d469d1b

Protect uw_Basis_new_client_source from invalid ctx->id We assume that FFI code may create new contextes with id left unassigned
author Sergey Mironov <grrwlf@gmail.com>
date Wed, 26 Feb 2014 09:43:47 +0000
parents 9fd0cb0ef6e1
children
comparison
equal deleted inserted replaced
1997:c93fbd139732 1998:cc7e5d469d1b