Typo

jad-hamza · regb · commit b9e9f4f89d66 · 2019-11-27T21:29:15.000+01:00
diff --git a/src/main/scala/smtlib/trees/Trees.scala b/src/main/scala/smtlib/trees/Trees.scala
@@ -113,7 +113,7 @@ object Terms {
   sealed trait Constant extends Term with AttributeValue
 
   /*
-   * Literal do not necessarly have an associated expected meaning (SNumeral as an
+   * Literal do not necessarily have an associated expected meaning (SNumeral as an
    * integer or SBinary as a 2-complement integer). They are just syntactic units,
    * and each local theory gives them a semantics.
    *

Original file line number	Diff line number	Diff line change
`@@ -113,7 +113,7 @@ object Terms {`
`113`	`113`	`sealed trait Constant extends Term with AttributeValue`
`114`	`114`
`115`	`115`	`/*`
`116`		`- * Literal do not necessarly have an associated expected meaning (SNumeral as an`
	`116`	`+ * Literal do not necessarily have an associated expected meaning (SNumeral as an`
`117`	`117`	`* integer or SBinary as a 2-complement integer). They are just syntactic units,`
`118`	`118`	`* and each local theory gives them a semantics.`
`119`	`119`	`*`