simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fixed typo in smt typechecker

Browse source
This commit is contained in:
Guillaume Bury 2016-09-23 14:02:12 +02:00
parent 88b8c9f895
commit 4fae86c81d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt/type_smt.ml
View file

@ -194,7 +194,7 @@ let flat_map f l = List.flatten (List.map f l)
let take_drop n l = let take_drop n l =
let rec aux acc = function let rec aux acc = function
| 0, _ | _, [] -> List.rev acc, [] | 0, res | _, ([] as res) -> List.rev acc, res
| m, x :: r -> aux (x :: acc) (m - 1, r) | m, x :: r -> aux (x :: acc) (m - 1, r)
in in
aux [] (n, l) aux [] (n, l)