diff options
Diffstat (limited to 'src/GF/Shell/PShell.hs')
| -rw-r--r-- | src/GF/Shell/PShell.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Shell/PShell.hs b/src/GF/Shell/PShell.hs index 159910755..68cb4d629 100644 --- a/src/GF/Shell/PShell.hs +++ b/src/GF/Shell/PShell.hs @@ -157,7 +157,7 @@ pCommand ws = case ws of "es" : [] -> aImpure ICEditSession "ts" : [] -> aImpure ICTranslateSession - + "r" : [] -> aImpure ICReload _ -> (CVoid, []) where |