mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-10-04 05:50:00 +00:00
4fe4ed7602
The F* team significantly cleaned up the build. Based on the Nix expression here: https://github.com/FStarLang/FStar/blob/master/.nix/fstar.nix Move to by-name and adopt the Z3 4.8.5 patches since we are now the only package that depends on Z3 4.8.5 in nixpkgs.
13 lines
483 B
Diff
13 lines
483 B
Diff
diff --git a/src/@dir@/lp/tail_matrix.h b/src/@dir@/lp/tail_matrix.h
|
|
index 2047e8c..c84340e 100644
|
|
--- a/src/@dir@/lp/tail_matrix.h
|
|
+++ b/src/@dir@/lp/tail_matrix.h
|
|
@@ -43,7 +43,6 @@ public:
|
|
const tail_matrix & m_A;
|
|
unsigned m_row;
|
|
ref_row(const tail_matrix& m, unsigned row): m_A(m), m_row(row) {}
|
|
- T operator[](unsigned j) const { return m_A.get_elem(m_row, j);}
|
|
};
|
|
ref_row operator[](unsigned i) const { return ref_row(*this, i);}
|
|
};
|