GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

*** empty log message ***

Browse Source
This commit is contained in:
janna
2004-12-22 14:47:06 +00:00
parent 49e901ec65
commit 310ba62601
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/JavaGUI/GFEditor2.java
View File

@@ -667,7 +667,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
linearization += result+"\n";
result = fromProc.readLine();
if (debug) System.out.println("6 "+result);
while (result.indexOf("/linearization")==-1){
while ((result!=null)&&(result.indexOf("/linearization")==-1)){
linearization += result+"\n";
result = fromProc.readLine();
if (debug) System.out.println("6 "+result);