if A ASSERT B => ASSERT(B or not A)

svn path=/trunk/; revision=55771

Author: zefklop

reactos/ntoskrnl/mm/ARM3/pfnlist.c

@@ -931,11 +931,8 @@ MiDecrementShareCount(IN PMMPFN Pfn1,
         ASSERT(Pfn1->u3.e2.ReferenceCount != 0);
         if (Pfn1->u3.e2.ReferenceCount == 1)
         {
-            if(Pfn1->u3.e1.PrototypePte == 0)
-            {
-                /* In ReactOS, this path should always be hit with a deleted PFN */
-                ASSERT(MI_IS_PFN_DELETED(Pfn1) == TRUE);
-            }
+            /* In ReactOS, this path should always be hit with a deleted PFN */
+            ASSERT((MI_IS_PFN_DELETED(Pfn1) == TRUE) || (Pfn1->u3.e1.PrototypePte == 1));
 
             /* Clear the last reference */
             Pfn1->u3.e2.ReferenceCount = 0;