Commit a78c6707 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Make VariableTypeMarker public. 

Accidently left VariableTypeMarker as package private, for no good reason.
Fix to be public.  Discovered when when writing its documentation.
parent bbea1653

src/main/java/ca/mcscert/jtet/expression/VariableTypeMarker.java

+1 −1
Original line number Diff line number Diff line
@@ -43,7 +43,7 @@ package ca.mcscert.jtet.expression; 
 *

 * @author Matthew Dawson

 */

interface VariableTypeMarker {

public interface VariableTypeMarker {

    /**

     * Queries whether the given type is in the class represented by this type marker, and thus marked.

     * <p>