Project

General

Profile

« Previous | Next » 

Revision ae78dfee

IDae78dfeed3d23f27f8bf7aa6e3c62100389db2c0
Parent 06fa8b5e
Child 49b32cb6

Added by Eric Noulard almost 6 years ago

Do not use stable sort because it requires recent ocamlgraph
library (1.8.3) which is not widely available in distro repository.
Moreover "stable" sort is not necessary, sort will do.
Fixes Issue #49: https://cavale.enseeiht.fr/redmine/issues/49

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences