Skip to content

Commit d3e8292

Browse files
committed
C++: Update dbscheme
1 parent ac4121d commit d3e8292

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

cpp/ql/lib/semmlecode.cpp.dbscheme

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -48,11 +48,9 @@ compilation_args(
4848

4949
/**
5050
* Optionally, record the build mode for each compilation.
51-
* The build mode should be the same for all compilations.
5251
*/
53-
#keyset[id, mode]
5452
compilation_build_mode(
55-
int id : @compilation ref,
53+
unique int id : @compilation ref,
5654
int mode : int ref
5755
);
5856

@@ -62,7 +60,7 @@ case @compilation_build_mode.mode of
6260
| 1 = @build_mode_manual
6361
| 2 = @build_mode_auto
6462
;
65-
/*
63+
*/
6664

6765
/**
6866
* The source files that are compiled by a compiler invocation.

0 commit comments

Comments
 (0)