fixed an exception after applying Proguard

Author: pruemmer

princess-proguard.pro

@@ -37,7 +37,9 @@
 # tables to get line numbers in the stack traces.
 # You can comment this out if you're not interested in stack traces.
 
-#-printmapping out.map
+#-printmapping mapping.txt
+#-printusage unused.txt
+
 #-renamesourcefileattribute SourceFile
 #-keepattributes SourceFile,LineNumberTable
 

src/ap/theories/strings/SeqStringTheory.scala

@@ -371,10 +371,12 @@ class SeqStringTheory private (val alphabetSize : Int) extends {
   }
  */
 
-  private implicit def toRichTerm(t : ITerm) = new AnyRef {
+  private class RichTerm(t : ITerm) {
     def ~~>(s : ITerm) = IExpression.trig(t === s, t)
   }
 
+  private implicit def toRichTerm(t : ITerm) = new RichTerm(t)
+
   val reMatchingAxioms = {
     import IExpression._