More state reduction

diff --git a/src/main/gov/nasa/jpf/vm/serialize/FilteringSerializer.java b/src/main/gov/nasa/jpf/vm/serialize/FilteringSerializer.java
index 236a9b0d8f7b5077ac7c1d3bc5f1e6c5730e61ec..4e71fe90bca47dfbf7b77fa36448cba70b6f0295 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/serialize/FilteringSerializer.java
+++ b/src/main/gov/nasa/jpf/vm/serialize/FilteringSerializer.java
@@ -332,7 +332,8 @@ public class FilteringSerializer extends AbstractSerializer implements Reference
     
     buf.add( ti.getId());
     buf.add( ti.getState().ordinal());
-    buf.add( ti.getStackDepth());
+    // SmartThings...ignore this
+    //    buf.add( ti.getStackDepth());
     
     //--- the lock state
     // NOTE: both lockRef and lockedObjects can only refer to live objects