File tree 1 file changed +2
-2
lines changed
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -14,10 +14,10 @@ The `dolmen` command-line tool looks up user-defined extensions using the Dune
14
14
plugin mechanism. A plugin named ` plugin.typing ` will be picked up when
15
15
` --ext plugin ` or ` --ext plugin.typing ` is provided on the command-line, and
16
16
the plugin must register a typing extension named ` "plugin" ` using
17
- ` Dolmen_loop.Typer.Ext.register ` . A plugin named ` plugin.model ` will be picked up
17
+ ` Dolmen_loop.Typer.Ext.create ` . A plugin named ` plugin.model ` will be picked up
18
18
when ` --ext plugin ` or ` --ext plugin.model ` is provided on the command-line and
19
19
the plugin must register a model extension named ` "plugin" ` using
20
- ` Dolmen_model.Ext.register ` . A plugin named ` plugin ` (without dots) will be
20
+ ` Dolmen_model.Ext.create ` . A plugin named ` plugin ` (without dots) will be
21
21
picked up when either of the above command line flags is provided, and must
22
22
provide both a typing and model extension.
23
23
You can’t perform that action at this time.
0 commit comments