1 package cvc3;
2 
3 import java.util.*;
4 
5 /** mirrors CVC3::EvalException */
6 public class EvalException extends Cvc3Exception {
7 
8     private final static long serialVersionUID = 1L;
9 
EvalException(String message)10     public EvalException(String message) {
11 	super(message);
12     }
13 }
14