From 059a712f1b989b4f9da6985508c218d170a28301 Mon Sep 17 00:00:00 2001
From: Letitia Li <leli@enst.fr>
Date: Thu, 10 Mar 2016 12:26:10 +0000
Subject: [PATCH] TML backtracing
---
src/ui/TMLComponentDesignPanel.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/ui/TMLComponentDesignPanel.java b/src/ui/TMLComponentDesignPanel.java
index dbcfc2c795..2bc486ced5 100755
--- a/src/ui/TMLComponentDesignPanel.java
+++ b/src/ui/TMLComponentDesignPanel.java
@@ -241,7 +241,7 @@ public class TMLComponentDesignPanel extends TURTLEPanel {
LinkedList<AvatarAttribute> nonSecretAttributes = pvoa.getNonSecretTerms ();
for (AvatarAttribute attr: secretAttributes){
System.out.println("!!!");
- iterator = tmlctdp.getComponentList().listIterator();
+ iterator = tmlctdp.getPrimitiveComponentList().listIterator();
while (iterator.hasNext()){
tgc = (TGComponent)(iterator.next());
if (tgc instanceof TMLCPrimitivePort){
--
GitLab