diff options
| -rw-r--r-- | parsers/survex.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsers/survex.py b/parsers/survex.py index 59278ed..cebeb91 100644 --- a/parsers/survex.py +++ b/parsers/survex.py @@ -1222,7 +1222,7 @@ class LoadingSurvex: # processed in parsers/caves.py So we have to do a bespoke creation. cave = create_new_cave(includelabel) - message = f" ! Warning: cave identifier '{caveid}'or {id} (guessed from file path) is not a known cave. Need to add to expoweb/cave_data/pending.txt ? In '{includelabel}.svx' at depth:[{len(depth)}]." + message = f" ! Warning: cave identifier '{caveid}'or {id} (guessed from file path) is not a known cave. Need to add to expoweb/cave_data/pendingcaves.txt ? In '{includelabel}.svx' at depth:[{len(depth)}]." print("\n" + message) print("\n" + message, file=sys.stderr) print(f"{self.pending}", end="", file=sys.stderr) |