StackTraceCatch.java

package fr.inria.diversify.sosie.compare.stackElement;

/**
 * Created by Simon on 24/04/14.
 */
@Deprecated
public class StackTraceCatch extends StackTraceElement {

    public StackTraceCatch(String value, int deep) {
        originalDeep = deep;
    }
}