Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Commit [3b552e] Maximize Restore History

Rename to FreshInstantiation, adding missing 'i'

Nicolas Beauger Nicolas Beauger 2014-02-21

Laurent Voisin Laurent Voisin 2014-02-21

changed org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/AbstrExpr.java
changed org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/AllI.java
changed org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/DTReasoner.java
changed org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/ExE.java
changed org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/ExF.java
copied org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/utils/FreshInstantiaton.java -> org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/utils/FreshInstantiation.java
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/AbstrExpr.java Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/AllI.java Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/DTReasoner.java Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/ExE.java Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/ExF.java Diff Switch to side-by-side view
Loading...
org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/utils/FreshInstantiaton.java to org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/utils/FreshInstantiation.java
--- a/org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/utils/FreshInstantiaton.java
+++ b/org.eventb.core.seqprover/src/org/eventb/internal/core/seqprover/eventbExtensions/utils/FreshInstantiation.java
@@ -25,7 +25,7 @@
  * 
  * @author Laurent Voisin
  */
-public class FreshInstantiaton {
+public class FreshInstantiation {
 
 	private final FreeIdentifier[] freeIdents;
 	private final Predicate result;
@@ -39,7 +39,7 @@
 	 * @param initialTypenv
 	 *            the type environment to consider for freshness
 	 */
-	public FreshInstantiaton(QuantifiedPredicate predicate,
+	public FreshInstantiation(QuantifiedPredicate predicate,
 			ITypeEnvironment initialTypenv) {
 		final ITypeEnvironmentBuilder typenv = initialTypenv.makeBuilder();
 		final BoundIdentDecl[] boundIdentDecls = predicate.getBoundIdentDecls();