Fix Comment

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/VCChecker.java

@@ -263,9 +263,9 @@ public boolean smtChecks(Predicate found, Predicate expectedType, SourcePosition
      * @param cSMT
      * @param expectedType
      *
+     * @throws TypeCheckError
      * @throws Exception
-     * @throws GhostFunctionError
-     * @throws SMTError
+     * 
      */
     private void smtChecking(Predicate cSMT, Predicate expectedType, SourcePosition p)
             throws TypeCheckError, Exception {