mirror of
				https://github.com/Z3Prover/z3
				synced 2025-10-30 19:22:28 +00:00 
			
		
		
		
	remove a comment
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
		
							parent
							
								
									5de0b8a87f
								
							
						
					
					
						commit
						d79d43355f
					
				
					 1 changed files with 0 additions and 1 deletions
				
			
		|  | @ -404,7 +404,6 @@ struct solver::imp { | |||
|             lemma |= inq; | ||||
|         } | ||||
|         IF_VERBOSE(1, verbose_stream() << "linear lemma: " << lemma << "\n"); | ||||
|         //m_nla_core.set_use_nra_model(true);
 | ||||
|         return l_false; | ||||
|     } | ||||
| 
 | ||||
|  |  | |||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue