diff options
Diffstat (limited to 'src/session.ml')
| -rw-r--r-- | src/session.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/session.ml b/src/session.ml index 4156b73..4f4f299 100644 --- a/src/session.ml +++ b/src/session.ml @@ -38,7 +38,7 @@ type session_data = { client_pid: int32; client_user: string; client_sudo_user: string; -} +} [@@deriving yojson] let make _world client_app sudo_user user pid = { modified = false; |