- Fixed bug in interm relation.
- Commented flag for normal version.
This commit is contained in:
		
							parent
							
								
									8583b4ef5c
								
							
						
					
					
						commit
						0f75efc787
					
				@ -547,8 +547,8 @@ select_goal ()
 | 
				
			|||||||
      b = (Binding) bl->data;
 | 
					      b = (Binding) bl->data;
 | 
				
			||||||
      if (!b->done)
 | 
					      if (!b->done)
 | 
				
			||||||
	{
 | 
						{
 | 
				
			||||||
	  // We don't care about singular variables, so...
 | 
						  // We don't care about singular agent variables, so...
 | 
				
			||||||
	  if (!isTermVariable (b->term))
 | 
						  if (! (isTermVariable (b->term) && inTermlist (b->term->stype, TERM_Agent)))
 | 
				
			||||||
	    {
 | 
						    {
 | 
				
			||||||
	      float cons;
 | 
						      float cons;
 | 
				
			||||||
 | 
					
 | 
				
			||||||
@ -1029,10 +1029,12 @@ iterate ()
 | 
				
			|||||||
#endif
 | 
					#endif
 | 
				
			||||||
  indentDepth--;
 | 
					  indentDepth--;
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  if (!flag)
 | 
					#ifdef DEBUG
 | 
				
			||||||
 | 
					  if (DEBUGL (5) && !flag)
 | 
				
			||||||
    {
 | 
					    {
 | 
				
			||||||
      warning ("Flag has turned 0!");
 | 
					      warning ("Flag has turned 0!");
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					#endif
 | 
				
			||||||
  return flag;
 | 
					  return flag;
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
				
			|||||||
@ -372,7 +372,7 @@ bindings_c_minimal ()
 | 
				
			|||||||
		      Roledef rd;
 | 
							      Roledef rd;
 | 
				
			||||||
 | 
					
 | 
				
			||||||
		      rd = roledef_shift (sys->runs[run].start, ev);
 | 
							      rd = roledef_shift (sys->runs[run].start, ev);
 | 
				
			||||||
		      if (termInTerm (b->term, rd->message))
 | 
							      if (termInTerm (rd->message, b->term))
 | 
				
			||||||
			{
 | 
								{
 | 
				
			||||||
			  // This term already occurs as interm in a previous node!
 | 
								  // This term already occurs as interm in a previous node!
 | 
				
			||||||
			  return 0;
 | 
								  return 0;
 | 
				
			||||||
 | 
				
			|||||||
		Loading…
	
		Reference in New Issue
	
	Block a user