diff options
Diffstat (limited to 'Lib/ocaml/std_deque.i')
| -rw-r--r-- | Lib/ocaml/std_deque.i | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Lib/ocaml/std_deque.i b/Lib/ocaml/std_deque.i index 44815ebda..baadb4e53 100644 --- a/Lib/ocaml/std_deque.i +++ b/Lib/ocaml/std_deque.i @@ -28,4 +28,4 @@ } }; -%include <_std_deque.i> +%include <std/_std_deque.i> |