Fix null-pointer dereference problem in subdomain_deflation (#50)
Fix null-pointer dereference problem in subdomain_deflation (#50)

Fixes #49
ddemidov/amgcl,ddemidov/amgcl,ddemidov/amgcl,ddemidov/amgcl