Skip to content

GitLab

Commit a898b9ea authored by Daniel Ratiu's avatar Daniel Ratiu
Browse files

small fix 

refs 823
parent 62135c87
Hide whitespace changes
Inline Side-by-side
org.fortiss.af3.tools/trunk/src/org/fortiss/af3/tools/nusmv/model/NuSMVModelFactory.java
View file @ a898b9ea
......@@ -22,7 +22,7 @@ import static org.fortiss.af3.tools.nusmv.model.NuSMVModelAccessFacade.findDefin
import static org.fortiss.af3.tools.nusmv.model.NuSMVModelAccessFacade.findLocalVariable;
import static org.fortiss.af3.tools.nusmv.model.NuSMVModelAccessFacade.findNextAssignment;
import java.util.ArrayList;
import java.util.List;
import org.fortiss.af3.expression.model.terms.IExpressionTerm;
import org.fortiss.af3.expression.model.terms.Var;
......@@ -86,7 +86,7 @@ import org.fortiss.af3.tools.nusmv.model.types.WordType;
* @author ratiu
* @author $Author: ratiu $
* @version $Rev: 1270 $
* @ConQAT.Rating GREEN Hash: E63CF2CB1A3C074F5155DBD365A72FFA
* @ConQAT.Rating GREEN Hash: 43EE6BC503224228D7AE46651F9D9B22
*/
public class NuSMVModelFactory {
......@@ -405,7 +405,7 @@ public class NuSMVModelFactory {
}
/** Creates a module type. */
public static ModuleType createModuleType(String nme, ArrayList<IExpressionTerm> actualParams) {
public static ModuleType createModuleType(String nme, List<IExpressionTerm> actualParams) {
ModuleType mt = AF3NuSMVTypesFactory.eINSTANCE.createModuleType();
mt.setName(nme);
for(IExpressionTerm actualPar : actualParams) {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment