oceani: propagate_types should ignore NULL better.

[ocean] / csrc / oceani.mdc

diff --git a/csrc/oceani.mdc b/csrc/oceani.mdc
index 972f7964e21e43b5c76aa78e50895e244796b49d..e6283e4a5d28745f4ab734706f17e211d959731f 100644 (file)
--- a/csrc/oceani.mdc
+++ b/csrc/oceani.mdc
@@ -624,11 +624,8 @@ found, and `2` when any change is made.  If it remains unchanged at
        {
                enum vtype t;
 
-               if (!prog) {
-                       if (type != Vunknown && type != Vnone)
-                               *ok = 0;
+               if (!prog)
                        return Vnone;
-               }
 
                switch (prog->type) {
                case Xbinode: