mirror of https://github.com/davisking/dlib.git
merged
This commit is contained in:
commit
7bb67fc1d9
|
@ -72,7 +72,7 @@ namespace dlib
|
|||
unsigned long merge_sets (
|
||||
unsigned long a,
|
||||
unsigned long b
|
||||
)
|
||||
);
|
||||
/*!
|
||||
requires
|
||||
- a != b
|
||||
|
|
Loading…
Reference in New Issue