swrup/geochan
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

change bindings.ml to syntax.ml

Browse source
This commit is contained in:
Swrup 2022-03-31 00:01:52 +02:00
parent b9d95522a1
commit b718eae11b
6 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/user.ml
View file

@ -1,4 +1,4 @@
include Bindings
open Syntax
open Db
type t =